It is improbable that Winona is a wolf. It is probably the case that Jeff went to the bedroom. It is impossible that Mary got the football. There is little chance that if 'Jeff went to the bedroom' or 'Winona is a wolf' or both then Julius is a lion. It is impossible that if 'Mary got the football and Jeff went to the bedroom' then John moved to the garden. It is probable that if 'Jeff went to the bedroom' or 'Mary got the football' or both then Lily is green.
It is probable that 'Jeff went to the bedroom' or 'Mary got the football' or both.
It is probable that 'Jeff went to the bedroom' or 'Mary got the football' or both.
It is improbable that 'Jeff went to the bedroom' or 'Mary got the football' 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.7::factB.
  0.0::factC.
  %hop1
  0.1::factX:-or(factB,factA).
  0.0::factY:-and(factC,factB).
  0.7::factZ:-or(factB,factC).

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

  query(conclusion).
  
'Jeff went to the bedroom' or 'Mary got the football' or both.