It is probably not the case that Mary grabbed the milk. There is a better than even chance that Bernhard is green. It is probably not the case that Daniel left the milk. It is probably not the case that if either 'Mary grabbed the milk' or 'Bernhard is green' but not both then Lily is white. Chances are about even that if 'Daniel left the milk and Bernhard is green' then Winona is a sheep. It is impossible that if 'Mary grabbed the milk' or 'Bernhard is green' or both then Brian is a frog.
There is almost no chance that 'Daniel left the milk and Lily is white'.
There is almost no chance that 'Daniel left the milk and Lily is white'.
It is probably the case that 'Daniel left the milk and Lily is white'.

  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.6::factB.
  0.25::factC.
  %hop1
  0.25::factX:-xor(factA,factB).
  0.5::factY:-and(factC,factB).
  0.0::factZ:-or(factA,factB).

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

  query(conclusion).
  
'Daniel left the milk and Lily is white'.