The rectangle is not equilateral,
∴ The rectangle is not a square.
(3) If the rectangle is equilateral, then it is a square;
It is a square,
∴ The rectangle is equilateral.
(4) If the rectangle is equilateral, then it is a square;
It is not a square,
∴ The rectangle is not equilateral.
6. HYPOTHETICAL ARGUMENTS REDUCED TO THE CATEGORICAL FORM.
The hypothetical syllogism so closely resembles the categorical that it may be changed to it by a slight alteration in the wording. After testing the hypothetical by its own rule, it may be expedient to reduce the argument to the categorical form, and subject it to a second test in which the categorical rules are applied. This reduction usually necessitates two steps; first, change the propositions which represent the antecedent and consequent to a subject term and a predicate term respectively and then unite them to form the major premise; second, supply a new minor term, if necessary.