There is a better than even chance that Sandra left the milk. We believe that Greg is a frog. It is unlikely that John went to the kitchen. It is impossible that if 'Greg is a frog' or 'John went to the kitchen' or both then Yann is hungry. Chances are slight that if either 'John went to the kitchen' or 'Sandra left the milk' but not both then Lily is yellow. It is almost certain that if either 'John went to the kitchen' or 'Sandra left the milk' but not both then Brian is white.
It is likely that 'John went to the kitchen and Lily is yellow'.
It is impossible that 'John went to the kitchen and Lily is yellow'.
It is likely that 'John went to the kitchen and Lily 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.6::factA.
  0.75::factB.
  0.2::factC.
  %hop1
  0.0::factX:-or(factB,factC).
  0.1::factY:-xor(factC,factA).
  0.95::factZ:-xor(factC,factA).

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

  query(conclusion).
  
'John went to the kitchen and Lily is yellow'.