It is almost certain that Sandra dropped the apple. There is little chance that Mary moved to the garden. It is almost certain that Julius is a lion. It is almost certain that if either 'Mary moved to the garden' or 'Sandra dropped the apple' but not both then Greg is a frog. It is improbable that if 'Sandra dropped the apple and Julius is a lion' then Daniel got the milk. It is highly likely that if 'Mary moved to the garden' or 'Julius is a lion' or both then John went to the garden.
It is improbable that 'Mary moved to the garden and John went to the garden'.
It is improbable that 'Mary moved to the garden and John went to the garden'.
It is highly likely that 'Mary moved to the garden and John went 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.95::factA.
  0.1::factB.
  0.95::factC.
  %hop1
  0.95::factX:-xor(factB,factA).
  0.1::factY:-and(factA,factC).
  0.9::factZ:-or(factB,factC).

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

  query(conclusion).
  
'Mary moved to the garden and John went to the garden'.