It is highly unlikely that John took the football. It is probable that Bernhard is yellow. It is improbable that Mary dropped the apple. Chances are slight that if 'Bernhard is yellow' or 'Mary dropped the apple' or both then Fred went to the garden. We believe that if either 'Bernhard is yellow' or 'Mary dropped the apple' but not both then Julius is a frog. It is unlikely that if either 'Bernhard is yellow' or 'Mary dropped the apple' but not both then Lily is a rhino.
It is almost certain that 'John took the football and Lily is a rhino'.
It is impossible that 'John took the football and Lily is a rhino'.
It is almost certain that 'John took the football and Lily is a rhino'.

  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.05::factA.
  0.7::factB.
  0.1::factC.
  %hop1
  0.1::factX:-or(factB,factC).
  0.75::factY:-xor(factB,factC).
  0.2::factZ:-xor(factB,factC).

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

  query(conclusion).
  
'John took the football and Lily is a rhino'.