#!/usr/bin/php


Checking equalitysymmetric.prf
Proof checked OK. 2 inferences. That makes 1 proofs.
Checking inequalitysymmetric.prf
Proof checked OK. 2 inferences. That makes 2 proofs.
Checking congruencesymmetric.prf
Proof checked OK. 2 inferences. That makes 3 proofs.
Checking congruencetransitive.prf
Proof checked OK. 2 inferences. That makes 4 proofs.
Checking nullsegment3.prf
Proof checked OK. 3 inferences. That makes 5 proofs.
Checking 3.6a.prf
Proof checked OK. 4 inferences. That makes 6 proofs.
Checking betweennotequal.prf
Proof checked OK. 11 inferences. That makes 7 proofs.
Checking extensionunique.prf
Can't look up axiom:nocollapse in axiom