There is little chance that Mary went to the kitchen. We believe that Winona is a sheep. It is unlikely that Lily is a swan. It is almost certain that if 'Winona is a sheep' or 'Mary went to the kitchen' or both then Brian is a swan. Chances are slight that if 'Winona is a sheep' or 'Lily is a swan' or both then John moved to the garden. There is little chance that if 'Mary went to the kitchen' or 'Lily is a swan' or both then Julius is gray.
We doubt that 'Mary went to the kitchen' or 'John moved to the garden' or both.
We doubt that 'Mary went to the kitchen' or 'John moved to the garden' or both.
It is almost certain that 'Mary went to the kitchen' or 'John moved to the garden' 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.1::factA.
  0.75::factB.
  0.2::factC.
  %hop1
  0.95::factX:-or(factB,factA).
  0.1::factY:-or(factB,factC).
  0.1::factZ:-or(factA,factC).

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

  query(conclusion).
  
'Mary went to the kitchen' or 'John moved to the garden' or both.