For the deduction is always contrary to the fact, eg if a thing is good, it is deduced that it is not good, if an animal, that it is not an animal, because the deduction springs out of a contradiction and the terms presupposed are either identical or related as whole and part.