We believe that Fred went to the garden. It is improbable that Daniel took the apple. It is improbable that Bernhard is a lion. We doubt that if either 'Daniel took the apple' or 'Fred went to the garden' but not both then Sandra dropped the milk. It is probably not the case that if either 'Bernhard is a lion' or 'Fred went to the garden' but not both then Brian is a frog. It is probably the case that if 'Fred went to the garden' or 'Bernhard is a lion' or both then Emily is a mouse.
It is likely that 'Daniel took the apple' or 'Sandra dropped the milk' or both.
It is probably not the case that 'Daniel took the apple' or 'Sandra dropped the milk' or both.
It is likely that 'Daniel took the apple' or 'Sandra dropped 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.75::factA.
  0.1::factB.
  0.1::factC.
  %hop1
  0.2::factX:-xor(factB,factA).
  0.25::factY:-xor(factC,factA).
  0.7::factZ:-or(factA,factC).

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

  query(conclusion).
  
'Daniel took the apple' or 'Sandra dropped the milk' or both.