It is probably the case that Lily is a lion. There is almost no chance that Fred put down the apple. It is improbable that Mary left the milk. It is probably not the case that if either 'Mary left the milk' or 'Lily is a lion' but not both then John went to the kitchen. It is certain that if 'Fred put down the apple' or 'Mary left the milk' or both then Brian is green. It is highly likely that if 'Fred put down the apple' or 'Mary left the milk' or both then Winona is a sheep.
It is likely that 'John went to the kitchen' or 'Lily is a lion' or both.
It is likely that 'John went to the kitchen' or 'Lily is a lion' or both.
Chances are slight that 'John went to the kitchen' or 'Lily is a lion' 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.02::factB.
  0.1::factC.
  %hop1
  0.25::factX:-xor(factC,factA).
  1.0::factY:-or(factB,factC).
  0.9::factZ:-or(factB,factC).

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

  query(conclusion).
  
'John went to the kitchen' or 'Lily is a lion' or both.