It is almost certain that Winona is a mouse. It is highly unlikely that Sandra dropped the milk. It is probable that Mary moved to the office. It is almost certain that if 'Sandra dropped the milk and Mary moved to the office' then Emily is a wolf. We believe that if 'Winona is a mouse' or 'Sandra dropped the milk' or both then Lily is green. There is little chance that if either 'Winona is a mouse' or 'Sandra dropped the milk' but not both then Brian is a rhino.
It is almost certain that 'Winona is a mouse' or 'Brian is a rhino' or both.
It is almost certain that 'Winona is a mouse' or 'Brian is a rhino' or both.
Chances are about even that 'Winona is a mouse' or 'Brian is a rhino' 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.95::factA.
  0.05::factB.
  0.7::factC.
  %hop1
  0.95::factX:-and(factB,factC).
  0.75::factY:-or(factA,factB).
  0.1::factZ:-xor(factA,factB).

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

  query(conclusion).
  
'Winona is a mouse' or 'Brian is a rhino' or both.