Problem: To prove that if either premise is negative, the major must be universal.
Data: Given the form of the fourth figure:
G — M
M — S
S — G
Proof: (1) If one of the premises is negative, then the conclusion must be negative according to rule 6.
(2) If the conclusion is negative, then the predicate, G, must be distributed.
(3) If G is distributed in the conclusion, it must be distributed in the major premise.
(4) The major premise must be universal; as G is used as its subject, and only universals distribute their subjects.
Epitome.