Chances are about even that Winona is a cat. Chances are about even that Bill went to the kitchen. There is a very good chance that Sandra got the milk. It is unlikely that if 'Winona is a cat and Bill went to the kitchen' then John took the apple. It is likely that if 'Winona is a cat' or 'Sandra got the milk' or both then Bernhard is a rhino. It is impossible that if 'Sandra got the milk' or 'Winona is a cat' or both then Greg is a lion.
It is probably the case that 'Bill went to the kitchen and John took the apple'.
It is highly unlikely that 'Bill went to the kitchen and John took the apple'.
It is probably the case that 'Bill went to the kitchen and John took 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.5::factA.
  0.5::factB.
  0.8::factC.
  %hop1
  0.2::factX:-and(factA,factB).
  0.7::factY:-or(factA,factC).
  0.0::factZ:-or(factC,factA).

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

  query(conclusion).
  
'Bill went to the kitchen and John took the apple'.