It is probably the case that Mary put down the apple. It is almost certain that Sandra grabbed the milk. There is a better than even chance that John went to the garden. It is probably not the case that if 'Sandra grabbed the milk' or 'Mary put down the apple' or both then Jessica is a cat. It is probably the case that if 'John went to the garden' or 'Sandra grabbed the milk' or both then Julius is a rhino. It is impossible that if 'Sandra grabbed the milk and Mary put down the apple' then Greg is a swan.
It is impossible that 'Sandra grabbed the milk and Mary put down the apple'.
It is probable that 'Sandra grabbed the milk and Mary put down the apple'.
It is impossible that 'Sandra grabbed the milk and Mary put down 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.7::factA.
  0.95::factB.
  0.6::factC.
  %hop1
  0.25::factX:-or(factB,factA).
  0.7::factY:-or(factC,factB).
  0.0::factZ:-and(factB,factA).

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

  query(conclusion).
  
'Sandra grabbed the milk and Mary put down the apple'.