1 2 3 4 5 6 7 8 9 10 11 12 13
% Status: CounterSatisfiable %-------------------------------------------------------------------------- fof(query_1,axiom, include(1) ). fof(query_1,axiom, ![E]: e(E,1.6) ). fof(query_1,axiom, ![A,E]: ~e(A,3.0E3) ). fof(query_1,conjecture, ![E]: e(E,2.6) ). %--------------------------------------------------------------------------