We believe that John moved to the garden. There is almost no chance that Julius is a lion. Chances are about even that Lily is white. There is little chance that if 'Lily is white and John moved to the garden' then Greg is yellow. Chances are slight that if 'Julius is a lion' or 'John moved to the garden' or both then Daniel left the apple. It is improbable that if 'Julius is a lion and John moved to the garden' then Mary went to the garden.
There is almost no chance that 'Julius is a lion and Lily is white'.
There is almost no chance that 'Julius is a lion and Lily is white'.
It is probable that 'Julius is a lion 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.75::factA.
  0.02::factB.
  0.5::factC.
  %hop1
  0.1::factX:-and(factC,factA).
  0.1::factY:-or(factB,factA).
  0.1::factZ:-and(factB,factA).

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

  query(conclusion).
  
'Julius is a lion and Lily is white'.