It is probably not the case that Mary left the football. It is almost certain that John dropped the apple. Chances are about even that Greg is green. There is a better than even chance that if 'Greg is green and Mary left the football' then Jason is tired. We doubt that if either 'Mary left the football' or 'Greg is green' but not both then Julius is yellow. It is probable that if 'Greg is green and Mary left the football' then Lily is green.
It is probable that 'Mary left the football and Lily is green'.
It is improbable that 'Mary left the football and Lily is green'.
It is probable that 'Mary left the football and Lily is green'.

  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.25::factA.
  0.95::factB.
  0.5::factC.
  %hop1
  0.6::factX:-and(factC,factA).
  0.2::factY:-xor(factA,factC).
  0.7::factZ:-and(factC,factA).

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

  query(conclusion).
  
'Mary left the football and Lily is green'.