It is certain that Brian is white. We doubt that Bill went to the kitchen. It is unlikely that John moved to the office. We believe that if either 'Bill went to the kitchen' or 'John moved to the office' but not both then Sandra got the football. There is little chance that if either 'Bill went to the kitchen' or 'Brian is white' but not both then Bernhard is gray. It is likely that if 'Bill went to the kitchen' or 'John moved to the office' or both then Greg is a lion.
It is probably not the case that 'Sandra got the football' or 'John moved to the office' or both.
It is probably not the case that 'Sandra got the football' or 'John moved to the office' or both.
It is almost certain that 'Sandra got the football' or 'John moved to the office' 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
  1.0::factA.
  0.2::factB.
  0.2::factC.
  %hop1
  0.75::factX:-xor(factB,factC).
  0.1::factY:-xor(factB,factA).
  0.7::factZ:-or(factB,factC).

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

  query(conclusion).
  
'Sandra got the football' or 'John moved to the office' or both.