We believe that John took the football. It is almost certain that Julius is yellow. It is probably not the case that Mary went to the bedroom. It is improbable that if 'Mary went to the bedroom and Julius is yellow' then Bernhard is white. There is a better than even chance that if either 'Julius is yellow' or 'Mary went to the bedroom' but not both then Sandra got the milk. There is a better than even chance that if either 'Mary went to the bedroom' or 'Julius is yellow' but not both then Greg is a frog.
We doubt that 'Sandra got the milk' or 'Mary went to the bedroom' or both.
It is probably the case that 'Sandra got the milk' or 'Mary went to the bedroom' or both.
We doubt that 'Sandra got the milk' or 'Mary went to the bedroom' 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.95::factB.
  0.25::factC.
  %hop1
  0.1::factX:-and(factC,factB).
  0.6::factY:-xor(factB,factC).
  0.6::factZ:-xor(factC,factB).

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

  query(conclusion).
  
'Sandra got the milk' or 'Mary went to the bedroom' or both.