It is unlikely that Winona is a mouse. Chances are slight that Lily is a rhino. There is a very good chance that Bernhard is white. It is improbable that if either 'Lily is a rhino' or 'Winona is a mouse' but not both then Julius is white. It is improbable that if 'Lily is a rhino' or 'Bernhard is white' or both then John went to the kitchen. Chances are slight that if 'Lily is a rhino' or 'Winona is a mouse' or both then Greg is green.
There is a very good chance that 'Bernhard is white' or 'John went to the kitchen' or both.
There is a very good chance that 'Bernhard is white' or 'John went to the kitchen' or both.
It is unlikely that 'Bernhard is white' or 'John went to the kitchen' or both.

  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.2::factA.
  0.1::factB.
  0.8::factC.
  %hop1
  0.1::factX:-xor(factB,factA).
  0.1::factY:-or(factB,factC).
  0.1::factZ:-or(factB,factA).

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

  query(conclusion).
  
'Bernhard is white' or 'John went to the kitchen' or both.