... book, if A, then not B, can be notated ... the original above, which is not inference can be made ... the original above, there is not such inference can be ...
/F-->H (which is different from the above original ...
the trick thing is according to the book, EF ...