It is probable that Daniel took the milk. There is a better than even chance that Lily is a frog. It is probably the case that John dropped the apple. We believe that if either 'John dropped the apple' or 'Daniel took the milk' but not both then Julius is white. We believe that if 'Lily is a frog' or 'Daniel took the milk' or both then Bernhard is green. It is certain that if either 'Lily is a frog' or 'John dropped the apple' but not both then Greg is yellow.
It is probably not the case that 'Bernhard is green and Greg is yellow'.
It is probably not the case that 'Bernhard is green and Greg is yellow'.
It is almost certain that 'Bernhard is green and Greg is yellow'.

  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.6::factB.
  0.7::factC.
  %hop1
  0.75::factX:-xor(factC,factA).
  0.75::factY:-or(factB,factA).
  1.0::factZ:-xor(factB,factC).

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

  query(conclusion).
  
'Bernhard is green and Greg is yellow'.