monosyllogism

not defined yet