It is probable that Bernhard is white. It is unlikely that Antoine is thirsty. We believe that Greg is a frog. It is certain that if 'Bernhard is white and Greg is a frog' then Lily is a swan. There is little chance that if either 'Bernhard is white' or 'Greg is a frog' but not both then John put down the apple. We doubt that if 'Greg is a frog' or 'Bernhard is white' or both then Winona is a mouse.
It is probably not the case that 'John put down the apple' or 'Antoine is thirsty' or both.
It is probably not the case that 'John put down the apple' or 'Antoine is thirsty' or both.
It is highly likely that 'John put down the apple' or 'Antoine is thirsty' 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.2::factB.
  0.75::factC.
  %hop1
  1.0::factX:-and(factA,factC).
  0.1::factY:-xor(factA,factC).
  0.2::factZ:-or(factC,factA).

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

  query(conclusion).
  
'John put down the apple' or 'Antoine is thirsty' or both.