conditional syllogism