It is highly likely that John moved to the garden. It is highly likely that Winona is a mouse. There is a better than even chance that Fred left the apple. It is probably the case that if either 'John moved to the garden' or 'Fred left the apple' but not both then Sandra dropped the milk. It is unlikely that if 'Fred left the apple and John moved to the garden' then Bernhard is a swan. It is likely that if 'Fred left the apple and Winona is a mouse' then Julius is a lion.
Chances are about even that 'Winona is a mouse and Fred left the apple'.
Chances are about even that 'Winona is a mouse and Fred left the apple'.
It is impossible that 'Winona is a mouse and Fred left the apple'.

  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.9::factA.
  0.9::factB.
  0.6::factC.
  %hop1
  0.7::factX:-xor(factA,factC).
  0.2::factY:-and(factC,factA).
  0.7::factZ:-and(factC,factB).

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

  query(conclusion).
  
'Winona is a mouse and Fred left the apple'.