summaryrefslogtreecommitdiff
path: root/test/regress/regress0/tptp_parser3.p
blob: 3677e6ffe227fd6b684bbcfac05d6f9a7267663e (plain) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14

% EXPECT: unsat
% EXIT: 20

%--------------------------------------------------------------------------

cnf(query_1,axiom, p( a, d ) | b ).

cnf(query_1,axiom, b | c ).

cnf(query_1,axiom, ~p(a, d) | ~ 'c' ).

cnf(query_1,negated_conjecture, ~ b ).

%--------------------------------------------------------------------------
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback