syllogisms

not defined yet