syllogism formula method