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

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
method for inferring properties about objects .