There is a better than even chance that Lily is a lion. It is highly likely that Julius is yellow. There is a better than even chance that Bill went to the kitchen. It is impossible that if either 'Julius is yellow' or 'Bill went to the kitchen' but not both then Winona is a wolf. It is likely that if 'Julius is yellow' or 'Bill went to the kitchen' or both then Mary left the football. It is almost certain that if either 'Bill went to the kitchen' or 'Julius is yellow' but not both then Bernhard is green.
There is a very good chance that 'Julius is yellow and Winona is a wolf'.
It is impossible that 'Julius is yellow and Winona is a wolf'.
There is a very good chance that 'Julius is yellow and Winona is a wolf'.

  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.9::factB.
  0.6::factC.
  %hop1
  0.0::factX:-xor(factB,factC).
  0.7::factY:-or(factB,factC).
  0.95::factZ:-xor(factC,factB).

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

  query(conclusion).
  
'Julius is yellow and Winona is a wolf'.