It is probably not the case that Lily is white. We believe that John went to the office. There is little chance that Jessica is a mouse. It is likely that if 'John went to the office and Jessica is a mouse' then Sandra left the apple. It is highly likely that if either 'Lily is white' or 'John went to the office' but not both then Bernhard is yellow. It is unlikely that if 'Jessica is a mouse and John went to the office' then Daniel got the football.
It is probable that 'Lily is white' or 'Jessica is a mouse' or both.
It is probably not the case that 'Lily is white' or 'Jessica is a mouse' or both.
It is probable that 'Lily is white' or 'Jessica is a mouse' 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.25::factA.
  0.75::factB.
  0.1::factC.
  %hop1
  0.7::factX:-and(factB,factC).
  0.9::factY:-xor(factA,factB).
  0.2::factZ:-and(factC,factB).

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

  query(conclusion).
  
'Lily is white' or 'Jessica is a mouse' or both.