For (as we saw) it is not possible at all to establish a proposition from consequents, and it is not possible to refute by means of a consequent of everything; for the middle term must belong to the one, and not belong to the other.