\
In a statement, the hypothesis follows the word if and the conclusion follows
the word then.
Hypothesis: a = b and b = c .
Conclusion: a = c.