Fix TPTP output for tptp_to_ladr.

tptp_to_ladr doesn't seem to like ~! [X0] ...