negated_conjecture ignored #66
Description
Description of the issue
Formulas tagged with negated_conjecture in TPTP input seem to be ignored entirely.
Flags used
none
Small problem file to reproduce the bug
fof(h, hypothesis, p ).
fof(nc, negated_conjecture, ~p ).
returns satisfiable, as does
fof(h, hypothesis, p ).
fof(nc, negated_conjecture, p ).
Version of Goéland where the issue occurs
v.1.2-dev.r22a29daf270a3bca07573db1e539c91f8fcd7836