Theorem

Hypothesis: Hausdorff
Conclusion: T0
Computer Generated Proof:
  1. Assume for contradiction that Hausdorff is true.
  2. Theorem 15 (Hausdorff → T1) implies T1 is true.
  3. Assume for contradiction that T0 is false.
  4. Theorem 14 (T1 → T0) implies T1 is false. . Contradiction.

Note: This selection of hypothesis and conclusion is only one way to interpret this theorem. The theorem could be written as many different logically equivalent implications.