... book, if A, then not B, can be notated ... br />
then the inference are,
E-->G ... original above, which is not inference can be made ... original above, there is not such inference can be ... br />
these inferences are totally different with the original ...