There is a very good chance that Mary took the football. It is certain that Daniel put down the milk. It is unlikely that John went to the garden. It is certain that if 'Daniel put down the milk and John went to the garden' then Brian is gray. It is probably the case that if 'John went to the garden and Mary took the football' then Greg is green. Chances are about even that if 'John went to the garden' or 'Daniel put down the milk' or both then Lily is a lion.
Chances are slight that 'Lily is a lion and John went to the garden'.
Chances are slight that 'Lily is a lion and John went to the garden'.
There is a very good chance that 'Lily is a lion 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.8::factA.
  1.0::factB.
  0.2::factC.
  %hop1
  1.0::factX:-and(factB,factC).
  0.7::factY:-and(factC,factA).
  0.5::factZ:-or(factC,factB).

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

  query(conclusion).
  
'Lily is a lion and John went to the garden'.