It is probably not the case that Winona is a wolf. We doubt that Mary dropped the apple. Chances are slight that Lily is yellow. We believe that if either 'Mary dropped the apple' or 'Lily is yellow' but not both then Bill got the milk there. It is probable that if 'Lily is yellow' or 'Mary dropped the apple' or both then Emily is a cat. It is probably the case that if 'Winona is a wolf and Lily is yellow' then Brian is a frog.
It is probably not the case that 'Lily is yellow' or 'Emily is a cat' or both.
It is probably not the case that 'Lily is yellow' or 'Emily is a cat' or both.
There is a very good chance that 'Lily is yellow' or 'Emily is a cat' 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.2::factB.
  0.1::factC.
  %hop1
  0.75::factX:-xor(factB,factC).
  0.7::factY:-or(factC,factB).
  0.7::factZ:-and(factA,factC).

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

  query(conclusion).
  
'Lily is yellow' or 'Emily is a cat' or both.