It is improbable that Winona is a mouse. It is almost certain that Lily is a swan. It is improbable that Daniel took the football. It is almost certain that if 'Daniel took the football' or 'Winona is a mouse' or both then John went to the bedroom. It is impossible that if either 'Lily is a swan' or 'Winona is a mouse' but not both then Greg is white. There is almost no chance that if 'Winona is a mouse' or 'Daniel took the football' or both then Mary moved to the office.
It is almost certain that 'Daniel took the football' or 'John went to the bedroom' or both.
It is unlikely that 'Daniel took the football' or 'John went to the bedroom' or both.
It is almost certain that 'Daniel took the football' or 'John went to the bedroom' 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.95::factB.
  0.1::factC.
  %hop1
  0.95::factX:-or(factC,factA).
  0.0::factY:-xor(factB,factA).
  0.02::factZ:-or(factA,factC).

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

  query(conclusion).
  
'Daniel took the football' or 'John went to the bedroom' or both.