• three-part logical statement in which the first and last propositions are negative and the middle proposition is positive