There is almost no chance that Mary discarded the milk. It is improbable that John left the apple. It is likely that Jeff went to the hallway. It is certain that if either 'John left the apple' or 'Jeff went to the hallway' but not both then Lily is a lion. It is almost certain that if 'Mary discarded the milk and Jeff went to the hallway' then Brian is yellow. It is impossible that if 'Mary discarded the milk' or 'Jeff went to the hallway' or both then Sandra took the milk.
There is a better than even chance that 'Mary discarded the milk and Jeff went to the hallway'.
There is almost no chance that 'Mary discarded the milk and Jeff went to the hallway'.
There is a better than even chance that 'Mary discarded the milk and Jeff went to the hallway'.

  and(A,B) :- A,B.
  or(A,B) :- A;B.
  nand(A,B) :- not(and(A,B)).
  nor(A,B) :- not(or(A,B)).
  xor(A,B) :- or(A,B), nand(A,B).

  %hop0
  0.02::factA.
  0.1::factB.
  0.7::factC.
  %hop1
  1.0::factX:-xor(factB,factC).
  0.95::factY:-and(factA,factC).
  0.0::factZ:-or(factA,factC).

  %hop2
  conclusion:-and(factA,factC).

  query(conclusion).
  
'Mary discarded the milk and Jeff went to the hallway'.