It is almost certain that Greg is yellow. It is highly unlikely that Julius is a rhino. It is likely that John got the apple. There is a very good chance that if 'John got the apple and Greg is yellow' then Lily is white. There is a very good chance that if 'John got the apple' or 'Julius is a rhino' or both then Bill left the milk. Chances are slight that if 'Greg is yellow and Julius is a rhino' then Brian is a lion.
It is probable that 'Lily is white' or 'John got the apple' or both.
It is probable that 'Lily is white' or 'John got the apple' or both.
We doubt that 'Lily is white' or 'John got the apple' 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.95::factA.
  0.05::factB.
  0.7::factC.
  %hop1
  0.8::factX:-and(factC,factA).
  0.8::factY:-or(factC,factB).
  0.1::factZ:-and(factA,factB).

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

  query(conclusion).
  
'Lily is white' or 'John got the apple' or both.