nx_tptp_load_any.nx

nx_tptp_load_any.nx -- TPTP loader handling both cnf(...) and fof(...). The original nx_tptp_load_cnf_file only handles CNF statements -- adequate for hand-written test files but not for real CASC TPTP-Easy problems which are typically in FOF format. This loader auto-detects per statement and routes: cnf(...) -> nx_tptp_parse_cnf_clause (existing path) fof(...) -> nx_fof_parse + nx_fof_to_cnf, expand into CNF clauses Role handling for FOF: axiom / hypothesis / negated_conjecture / lemma / definition / plain -> assert as-is (CNF-convert and append) conjecture -> NEGATE before CNF-converting (standard TPTP convention: prove UNSAT of {axioms ∪ ¬conjecture}) All native NishiLang.