Problem: To prove that one premise must be negative.

Data: Given the form of the second figure:

G — M

S — M

S — G

Proof: (1) The middle term, M, is the predicate of both premises.

(2) The middle term must be distributed at least once, according to rule 3.

(3) Hence one premise must be negative; since only negatives distribute their predicates.

Problem: To prove that the major premise must be universal.

Data: Given the form of the second figure: