polysyllogism

not defined yet