User:Adaptron/sandbox/

Rule 1: The middle term must be distributed at least once.

Rule 2: No term undistributed in the premises may be distributed in the conclusion.

Rule 3: If both premises are negative then no conclusion is possible.

Rule 4: If one premise is negative then the conclusion must be negative.

Rule 5: If neither premise is negative then the conclusion must be affirmative.

Rule 6: If both premises are universal then the conclusion can not be particular.

- (Query Optimised)