It is probably not the case that Daniel took the football. It is improbable that Brian is gray. It is certain that John moved to the garden. It is unlikely that if 'Brian is gray' or 'John moved to the garden' or both then Winona is a sheep. Chances are slight that if either 'John moved to the garden' or 'Brian is gray' but not both then Sandra is in the kitchen. There is a better than even chance that if either 'Brian is gray' or 'Daniel took the football' but not both then Lily is green.
It is improbable that 'Sandra is in the kitchen and John moved to the garden'.
It is improbable that 'Sandra is in the kitchen and John moved to the garden'.
There is a very good chance that 'Sandra is in the kitchen and John moved to the garden'.

  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.25::factA.
  0.1::factB.
  1.0::factC.
  %hop1
  0.2::factX:-or(factB,factC).
  0.1::factY:-xor(factC,factB).
  0.6::factZ:-xor(factB,factA).

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

  query(conclusion).
  
'Sandra is in the kitchen and John moved to the garden'.