tptp_compliance verify --equivalence strong  --no-proof-search --save-problems $OUT transitive.1.lp transitive.2.lp
