It is almost certain that Mary moved to the garden. It is probably the case that Greg is a rhino. There is a better than even chance that Daniel left the football. Chances are about even that if either 'Greg is a rhino' or 'Daniel left the football' but not both then Brian is a swan. Chances are about even that if 'Mary moved to the garden and Daniel left the football' then Gertrude is a cat. There is a better than even chance that if 'Greg is a rhino' or 'Mary moved to the garden' or both then Sandra got the milk.
There is little chance that 'Daniel left the football' or 'Sandra got the milk' or both.
There is a very good chance that 'Daniel left the football' or 'Sandra got the milk' or both.
There is little chance that 'Daniel left the football' or 'Sandra got the milk' 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.95::factA.
  0.7::factB.
  0.6::factC.
  %hop1
  0.5::factX:-xor(factB,factC).
  0.5::factY:-and(factA,factC).
  0.6::factZ:-or(factB,factA).

  %hop2
  conclusion:-or(factC,factZ).

  query(conclusion).
  
'Daniel left the football' or 'Sandra got the milk' or both.