It is probably the case that Brian is white. It is improbable that Sandra got the football. It is almost certain that Winona is a sheep. It is certain that if 'Brian is white' or 'Winona is a sheep' or both then Mary moved to the garden. It is probably the case that if either 'Sandra got the football' or 'Brian is white' but not both then Greg is yellow. It is impossible that if 'Brian is white' or 'Sandra got the football' or both then Bill went to the bedroom.
It is highly likely that either 'Sandra got the football' or 'Mary moved to the garden' but not both.
It is highly likely that either 'Sandra got the football' or 'Mary moved to the garden' but not both.
There is almost no chance that either 'Sandra got the football' or 'Mary 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.7::factA.
  0.1::factB.
  0.95::factC.
  %hop1
  1.0::factX:-or(factA,factC).
  0.7::factY:-xor(factB,factA).
  0.0::factZ:-or(factA,factB).

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

  query(conclusion).
  
Either 'Sandra got the football' or 'Mary moved to the garden' but not both.