We believe that Bernhard is white. There is almost no chance that Mary moved to the office. It is improbable that Sandra left the milk. There is almost no chance that if either 'Sandra left the milk' or 'Mary moved to the office' but not both then Antoine is thirsty. We doubt that if 'Mary moved to the office' or 'Sandra left the milk' or both then John took the apple. It is improbable that if 'Mary moved to the office' or 'Sandra left the milk' or both then Emily is a wolf.
There is little chance that 'Sandra left the milk and Bernhard is white'.
There is little chance that 'Sandra left the milk and Bernhard is white'.
It is highly likely that 'Sandra left the milk and Bernhard is white'.

  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.02::factB.
  0.1::factC.
  %hop1
  0.02::factX:-xor(factC,factB).
  0.2::factY:-or(factB,factC).
  0.1::factZ:-or(factB,factC).

  %hop2
  conclusion:-and(factC,factA).

  query(conclusion).
  
'Sandra left the milk and Bernhard is white'.