Chances are about even that Lily is white. It is unlikely that Julius is a lion. There is almost no chance that John moved to the garden. It is unlikely that if 'Julius is a lion' or 'Lily is white' or both then Yann is hungry. It is highly likely that if either 'Julius is a lion' or 'Lily is white' but not both then Mary went to the kitchen. We believe that if either 'Julius is a lion' or 'John moved to the garden' but not both then Brian is green.
It is probably the case that 'Lily is white and Brian is green'.
It is improbable that 'Lily is white and Brian is green'.
It is probably the case that 'Lily is white and Brian is green'.

  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.5::factA.
  0.2::factB.
  0.02::factC.
  %hop1
  0.2::factX:-or(factB,factA).
  0.9::factY:-xor(factB,factA).
  0.75::factZ:-xor(factB,factC).

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

  query(conclusion).
  
'Lily is white and Brian is green'.