Hypothetical Syllogism

If you know P implies Q and Q implies R, hypothetical syllogism says you also know P implies R. This is because Q is only acting as an unnecessary middleman in this construction. For example, if you know

“If I am Buffalo, I am in New York.”

and

“If I am in New York, I am in the United States.”

then you know that if you are in Buffalo, you are in the United States.