It is likely that Mary picked up the milk. It is impossible that John put down the apple. There is a better than even chance that Winona is a wolf. It is almost certain that if either 'John put down the apple' or 'Mary picked up the milk' but not both then Bernhard is green. It is probably the case that if either 'Mary picked up the milk' or 'John put down the apple' but not both then Jessica is a mouse. It is unlikely that if either 'Winona is a wolf' or 'John put down the apple' but not both then Julius is a frog.
There is little chance that 'John put down the apple' or 'Bernhard is green' or both.
It is probable that 'John put down the apple' or 'Bernhard is green' or both.
There is little chance that 'John put down the apple' or 'Bernhard is green' 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.7::factA.
  0.0::factB.
  0.6::factC.
  %hop1
  0.95::factX:-xor(factB,factA).
  0.7::factY:-xor(factA,factB).
  0.2::factZ:-xor(factC,factB).

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

  query(conclusion).
  
'John put down the apple' or 'Bernhard is green' or both.