It is highly likely that Lily is white. There is a better than even chance that Winona is a mouse. It is highly unlikely that Mary got the football. There is almost no chance that if 'Mary got the football' or 'Winona is a mouse' or both then Daniel grabbed the milk. We believe that if either 'Mary got the football' or 'Winona is a mouse' but not both then Brian is a rhino. It is probable that if 'Winona is a mouse and Mary got the football' then John moved to the garden.
It is probable that 'Daniel grabbed the milk and John moved to the garden'.
It is impossible that 'Daniel grabbed the milk and John moved to the garden'.
It is probable that 'Daniel grabbed the milk and John moved to the garden'.

  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.9::factA.
  0.6::factB.
  0.05::factC.
  %hop1
  0.02::factX:-or(factC,factB).
  0.75::factY:-xor(factC,factB).
  0.7::factZ:-and(factB,factC).

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

  query(conclusion).
  
'Daniel grabbed the milk and John moved to the garden'.