There is a better than even chance that Lily is green. We doubt that Fred went to the garden. It is probably the case that Greg is green. There is a very good chance that if 'Fred went to the garden' or 'Greg is green' or both then Sandra dropped the apple. There is a better than even chance that if 'Fred went to the garden and Greg is green' then Julius is a frog. There is almost no chance that if 'Fred went to the garden and Greg is green' then Bernhard is yellow.
We doubt that 'Fred went to the garden and Sandra dropped the apple'.
We doubt that 'Fred went to the garden and Sandra dropped the apple'.
It is certain that 'Fred went to the garden and Sandra dropped 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.6::factA.
  0.2::factB.
  0.7::factC.
  %hop1
  0.8::factX:-or(factB,factC).
  0.6::factY:-and(factB,factC).
  0.02::factZ:-and(factB,factC).

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

  query(conclusion).
  
'Fred went to the garden and Sandra dropped the apple'.