Injects a valid TPTP statement inside an unescaped single quote or uses comments to poison naive parsers.
Robust parsers handles quotes and comments properly, while naive regex/split-based parsers parse a hidden $false derivation.
