% Status: Unsatisfiable

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

cnf(query_1,axiom, a | b ).

cnf(query_1,axiom, b | c ).

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

cnf(query_1,negated_conjecture, ~ b ).

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