It is probable that Lily is a lion. It is likely that Emily is a wolf. It is highly unlikely that Mary got the football. It is certain that if 'Lily is a lion and Mary got the football' then Sandra grabbed the milk. There is a very good chance that if 'Mary got the football and Lily is a lion' then John went to the hallway. It is probable that if 'Mary got the football and Emily is a wolf' then Julius is green.
It is almost certain that 'Sandra grabbed the milk' or 'John went to the hallway' or both.
It is highly unlikely that 'Sandra grabbed the milk' or 'John went to the hallway' or both.
It is almost certain that 'Sandra grabbed the milk' or 'John went to the hallway' or both.

  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.7::factA.
  0.7::factB.
  0.05::factC.
  %hop1
  1.0::factX:-and(factA,factC).
  0.8::factY:-and(factC,factA).
  0.7::factZ:-and(factC,factB).

  %hop2
  conclusion:-or(factX,factY).

  query(conclusion).
  
'Sandra grabbed the milk' or 'John went to the hallway' or both.