We doubt that John grabbed the milk. It is probably the case that Bernhard is green. It is certain that Brian is white. It is impossible that if 'Bernhard is green and Brian is white' then Winona is a wolf. It is improbable that if 'Brian is white and Bernhard is green' then Jessica is a cat. It is improbable that if 'Brian is white' or 'Bernhard is green' or both then Mary got the apple.
It is almost certain that 'Mary got the apple' or 'John grabbed the milk' or both.
It is probably not the case that 'Mary got the apple' or 'John grabbed the milk' or both.
It is almost certain that 'Mary got the apple' or 'John grabbed 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.2::factA.
  0.7::factB.
  1.0::factC.
  %hop1
  0.0::factX:-and(factB,factC).
  0.1::factY:-and(factC,factB).
  0.1::factZ:-or(factC,factB).

  %hop2
  conclusion:-or(factZ,factA).

  query(conclusion).
  
'Mary got the apple' or 'John grabbed the milk' or both.