Move PARSE-TPTP-NOERROR to utils.lisp.
Move FILE-READABLE-P to utils.lisp.
Check for the file existing.
At this point, it must be unreadable.
Move colored strings to utils.lisp.
Move RESULT->SZS to tptp.lisp.