1 2 3 4 5 6 7 8 9 10 11
% EXPECT: unknown % EXIT: 0 %-------------------------------------------------------------------------- include('tptp_parser7.p'). cnf(query_1,axiom, include('A') | b ). cnf(query_1,negated_conjecture, ~ b ). %--------------------------------------------------------------------------