... According to a book, if A, then not B, can be notated ... the replaced first )
then the inference are,
... above, which is not inference can be made ... above, there is not such inference can be ... />
However, if we replace the original part ...