It is probable that John put down the apple. It is improbable that Bernhard is a lion. There is a better than even chance that Sandra dropped the milk. There is a better than even chance that if 'Sandra dropped the milk' or 'John put down the apple' or both then Antoine is hungry. It is probably not the case that if either 'Sandra dropped the milk' or 'John put down the apple' but not both then Brian is a swan. It is highly likely that if 'John put down the apple and Sandra dropped the milk' then Jeff moved to the garden.
There is a very good chance that 'Antoine is hungry and Sandra dropped the milk'.
It is probably not the case that 'Antoine is hungry and Sandra dropped the milk'.
There is a very good chance that 'Antoine is hungry and Sandra dropped the milk'.

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

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

  query(conclusion).
  
'Antoine is hungry and Sandra dropped the milk'.