code: 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
  
file_path: sympy/sympy/assumptions/facts.py
imports: from sympy.assumptions.ask import Q
  from sympy.assumptions.assume import AppliedPredicate
  from sympy.core.cache import cacheit
  from sympy.core.symbol import Symbol
  from sympy.logic.boolalg import to_cnf, And, Not, Implies, Equivalent, Exclusive
  from sympy.logic.inference import satisfiable
label_desc: Use image node_id 8 for calling a global function with example usage: ask_full_inference(proposition, assumptions, known_facts_cnf) and returns: None, False, True