There is a better than even chance that Jason is tired. It is certain that Lily is green. There is a very good chance that John went to the garden. We believe that if either 'Lily is green' or 'John went to the garden' but not both then Julius is a lion. Chances are about even that if 'John went to the garden and Lily is green' then Mary got the football. It is highly unlikely that if 'John went to the garden and Jason is tired' then Bernhard is a rhino.
It is certain that 'Mary got the football and John went to the garden'.
Chances are about even that 'Mary got the football and John went to the garden'.
It is certain that 'Mary got the football 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.6::factA.
  1.0::factB.
  0.8::factC.
  %hop1
  0.75::factX:-xor(factB,factC).
  0.5::factY:-and(factC,factB).
  0.05::factZ:-and(factC,factA).

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

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