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