It is highly unlikely that John moved to the garden. It is impossible that Emily is a cat. There is a very good chance that Mary went to the hallway. There is little chance that if either 'Emily is a cat' or 'Mary went to the hallway' but not both then Daniel left the football. It is likely that if 'Emily is a cat' or 'John moved to the garden' or both then Julius is white. There is almost no chance that if 'Mary went to the hallway and John moved to the garden' then Lily is a rhino.
We believe that 'Daniel left the football' or 'John moved to the garden' or both.
There is little chance that 'Daniel left the football' or 'John moved to the garden' or both.
We believe that 'Daniel left the football' or 'John moved to the garden' 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.05::factA.
  0.0::factB.
  0.8::factC.
  %hop1
  0.1::factX:-xor(factB,factC).
  0.7::factY:-or(factB,factA).
  0.02::factZ:-and(factC,factA).

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

  query(conclusion).
  
'Daniel left the football' or 'John moved to the garden' or both.