There is a better than even chance that Daniel left the milk. There is little chance that Greg is a rhino. Chances are slight that Julius is a frog. It is almost certain that if 'Julius is a frog' or 'Daniel left the milk' or both then Bill went to the garden. It is probable that if either 'Julius is a frog' or 'Daniel left the milk' but not both then Gertrude is a wolf. There is a very good chance that if 'Greg is a rhino and Daniel left the milk' then John moved to the office.
It is highly unlikely that 'John moved to the office' or 'Bill went to the garden' or both.
There is a better than even chance that 'John moved to the office' or 'Bill went to the garden' or both.
It is highly unlikely that 'John moved to the office' or 'Bill went 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.6::factA.
  0.1::factB.
  0.1::factC.
  %hop1
  0.95::factX:-or(factC,factA).
  0.7::factY:-xor(factC,factA).
  0.8::factZ:-and(factB,factA).

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

  query(conclusion).
  
'John moved to the office' or 'Bill went to the garden' or both.