Redirecting to Hypothetical syllogism