There is a better than even chance that Sandra dropped the apple. It is almost certain that Mary left the football. It is probably the case that Jeff moved to the office. It is almost certain that if either 'Sandra dropped the apple' or 'Jeff moved to the office' but not both then Lily is a rhino. It is probably not the case that if either 'Sandra dropped the apple' or 'Mary left the football' but not both then Winona is a cat. It is impossible that if 'Mary left the football' or 'Sandra dropped the apple' or both then Bernhard is a frog.
It is highly unlikely that 'Lily is a rhino' or 'Bernhard is a frog' or both.
Chances are about even that 'Lily is a rhino' or 'Bernhard is a frog' or both.
It is highly unlikely that 'Lily is a rhino' or 'Bernhard is a frog' 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.6::factA.
  0.95::factB.
  0.7::factC.
  %hop1
  0.95::factX:-xor(factA,factC).
  0.25::factY:-xor(factA,factB).
  0.0::factZ:-or(factB,factA).

  %hop2
  conclusion:-or(factX,factZ).

  query(conclusion).
  
'Lily is a rhino' or 'Bernhard is a frog' or both.