Hypothetical Syllogism/Examples