From (A) All Principals are men, by conversion, Some men are Principals follows, validating (III). (I) All humans are men cannot follow since (C) says humans are women. (II) cannot be derived in modern logic without existential import. (IV) directly contradicts (A) combined with (B). Only (III) follows.