if all A’s are B’s they cannot be C’s because that would mean a member of B was also a member of C and the second statement disallows that condition.