This rule is convertible for both purposes; for when we have proved that the one attribute belongs, we shall have proved that the remaining one does not belong; while if we prove that the one does not belong, we shall have proved that the remaining one does belong.