It is probably not the case that Julius is yellow. It is certain that Jeff moved to the garden. It is highly likely that Mary took the football. It is highly likely that if 'Jeff moved to the garden' or 'Mary took the football' or both then Winona is a wolf. It is likely that if 'Jeff moved to the garden' or 'Julius is yellow' or both then John went to the kitchen. There is almost no chance that if either 'Jeff moved to the garden' or 'Mary took the football' but not both then Lily is white.
It is highly likely that 'Lily is white' or 'Winona is a wolf' or both.
It is highly likely that 'Lily is white' or 'Winona is a wolf' or both.
Chances are slight that 'Lily is white' or 'Winona is a wolf' 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.
  1.0::factB.
  0.9::factC.
  %hop1
  0.9::factX:-or(factB,factC).
  0.7::factY:-or(factB,factA).
  0.02::factZ:-xor(factB,factC).

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

  query(conclusion).
  
'Lily is white' or 'Winona is a wolf' or both.