It is likely that Winona is a mouse. Chances are about even that Lily is a swan. It is impossible that Bernhard is yellow. There is a better than even chance that if 'Winona is a mouse' or 'Bernhard is yellow' or both then Julius is gray. It is certain that if 'Winona is a mouse and Bernhard is yellow' then Mary left the football. It is almost certain that if 'Bernhard is yellow and Lily is a swan' then Brian is green.
It is certain that 'Bernhard is yellow and Julius is gray'.
It is impossible that 'Bernhard is yellow and Julius is gray'.
It is certain that 'Bernhard is yellow and Julius is gray'.

  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.5::factB.
  0.0::factC.
  %hop1
  0.6::factX:-or(factA,factC).
  1.0::factY:-and(factA,factC).
  0.95::factZ:-and(factC,factB).

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

  query(conclusion).
  
'Bernhard is yellow and Julius is gray'.