Note 390 — Chapter VI
Reading edition
When the alternative major premiss is equivalent not to a true hypothetical but to a conditional (as in the second of the above examples), the syllogism may be reduced to pure categorical form (unless the categorical and conditional forms of proposition are in some way differentiated from one another). Thus,
Every A which is not B is C,
This A is an A which is not B,
therefore, This A is C.