It sometimes happens that just as we are deceived in the arrangement of the terms, so error may arise in our thought about them, e.g. if it is possible that the same predicate should belong to more than one subject immediately, but although knowing the one, a man may forget the other and think the opposite true. Suppose that A belongs to B and to C in virtue of their nature, and that B and C belong to all D in the same way. If then a man thinks that A belongs to all B, and B to D, but A to no C, and C to all D, he will both know and not know the same thing in respect of the same thing. Again if a man were to make a mistake about the members of a single series; e.g. suppose A belongs to B, B to C, and C to D, but some one thinks that A belongs to all B, but to no C: he will both know that A belongs to D, and think that it does not. Does he then maintain after this simply that what he knows, he does not think? For he knows in a way that A belongs to C through B, since the part is included in the whole; so that what he knows in a way, this he maintains he does not think at all: but that is impossible.
In the former case, where the middle term does not belong to the same series, it is not possible to think both the premisses with reference to each of the two middle terms: e.g. that A belongs to all B, but to no C, and both B and C belong to all D. For it turns out that the first premiss of the one syllogism is either wholly or partially contrary to the first premiss of the other. For if he thinks that A belongs to everything to which B belongs, and he knows that B belongs to D, then he knows that A belongs to D. Consequently if again he thinks that A belongs to nothing to which C belongs, he thinks that A does not belong to some of that to which B belongs; but if he thinks that A belongs to everything to which B belongs, and again thinks that A does not belong to some of that to which B belongs, these beliefs are wholly or partially contrary. In this way then it is not possible to think; but nothing prevents a man thinking one premiss of each syllogism of both premisses of one of the two syllogisms: e.g.
