It is probable that Greg is white. It is improbable that Sumit is thirsty. It is unlikely that Julius is a frog. We believe that if 'Julius is a frog' or 'Greg is white' or both then Lily is yellow. It is probable that if 'Greg is white and Julius is a frog' then Mary moved to the garden. There is a better than even chance that if 'Julius is a frog' or 'Greg is white' or both then Brian is a lion.
It is highly likely that 'Lily is yellow and Mary moved to the garden'.
It is highly unlikely that 'Lily is yellow and Mary moved to the garden'.
It is highly likely that 'Lily is yellow and Mary moved to the garden'.

  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.1::factB.
  0.2::factC.
  %hop1
  0.75::factX:-or(factC,factA).
  0.7::factY:-and(factA,factC).
  0.6::factZ:-or(factC,factA).

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

  query(conclusion).
  
'Lily is yellow and Mary moved to the garden'.