Explanation : A categorical syllogism is an argument
consisting of three categorical propositions
(two premises and a conclusion) in which
appear exactly three categorical terms, each
of which is used exactly twice. The middle
term is the one that appears in both premises
but not in the conclusion.