proportional_syllogism