Exploits unconditionally trusted rules (fof_simplification) to derive $false without a valid derivation.
If the verifier doesn't check the logical soundness of trivial rules, it will accept this as Verified.
