pro-syllogism