(proposition, assumptions, known_facts_cnf)
return None
Method for inferring properties about objects.
Method for inferring properties about objects.
Method for inferring properties about objects .
def ask_full_inference(proposition, assumptions, known_facts_cnf):
    """
    Method for inferring properties about objects.

    """
    if not satisfiable(And(known_facts_cnf, assumptions, proposition)):
        return False
    if not satisfiable(And(known_facts_cnf, assumptions, Not(proposition))):
        return True
    return None
def ask_full_inference ( proposition , assumptions , known_facts_cnf ) : if not satisfiable ( And ( known_facts_cnf , assumptions , proposition ) ) : return False if not satisfiable ( And ( known_facts_cnf , assumptions , Not ( proposition ) ) ) : return True return None