Secondly, wherever it happens that a deduction results from taking contraries or terms which cannot belong to the same thing, all arguments can be reduced to the aforesaid moods, eg if and are contraries or cannot belong to the same thing.