It is probably not the case that John took the apple. It is almost certain that Daniel left the football. It is unlikely that Lily is green. Chances are slight that if 'John took the apple' or 'Daniel left the football' or both then Bernhard is gray. It is probably the case that if either 'John took the apple' or 'Daniel left the football' but not both then Brian is white. It is impossible that if either 'Lily is green' or 'Daniel left the football' but not both then Julius is a frog.
There is a better than even chance that 'John took the apple and Lily is green'.
It is highly unlikely that 'John took the apple and Lily is green'.
There is a better than even chance that 'John took the apple 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.2::factC.
  %hop1
  0.1::factX:-or(factA,factB).
  0.7::factY:-xor(factA,factB).
  0.0::factZ:-xor(factC,factB).

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

  query(conclusion).
  
'John took the apple and Lily is green'.