It is probably not the case that John moved to the garden. Chances are slight that Jeff left the apple. It is highly likely that Daniel took the football. It is impossible that if either 'Daniel took the football' or 'Jeff left the apple' but not both then Emily is a wolf. Chances are about even that if 'Daniel took the football and Jeff left the apple' then Julius is a lion. There is little chance that if 'Daniel took the football and Jeff left the apple' then Mary went to the kitchen.
It is probably not the case that either 'Julius is a lion' or 'John moved to the garden' but not both.
It is probably not the case that either 'Julius is a lion' or 'John moved to the garden' but not both.
It is highly likely that either 'Julius is a lion' or 'John moved to the garden' but not 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.25::factA.
  0.1::factB.
  0.9::factC.
  %hop1
  0.0::factX:-xor(factC,factB).
  0.5::factY:-and(factC,factB).
  0.1::factZ:-and(factC,factB).

  %hop2
  conclusion:-xor(factY,factA).

  query(conclusion).
  
Either 'Julius is a lion' or 'John moved to the garden' but not both.