def check_csv(kb):
error = False
for expr in kb:
negative_expr = Expression.negate(expr)
if ResolutionProver().prove(negative_expr, kb, verbose=True):
error = True
return error
def check_contradicts(expr, kb):
contradicts = False
negative_expr = Expression.negate(expr)
res = ResolutionProver().prove(negative_expr, kb, verbose=True)
if res:
contradicts = True
return contradicts