We believe that Mary dropped the apple. It is improbable that Lily is a lion. It is almost certain that Daniel left the milk. There is a very good chance that if 'Lily is a lion' or 'Mary dropped the apple' or both then Bernhard is green. It is highly likely that if 'Daniel left the milk and Lily is a lion' then Sandra got the football. It is probably the case that if 'Daniel left the milk and Lily is a lion' then Antoine is hungry.
There is a better than even chance that 'Bernhard is green' or 'Sandra got the football' or both.
There is a better than even chance that 'Bernhard is green' or 'Sandra got the football' or both.
It is highly unlikely that 'Bernhard is green' or 'Sandra got the football' or both.

  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.75::factA.
  0.1::factB.
  0.95::factC.
  %hop1
  0.8::factX:-or(factB,factA).
  0.9::factY:-and(factC,factB).
  0.7::factZ:-and(factC,factB).

  %hop2
  conclusion:-or(factX,factY).

  query(conclusion).
  
'Bernhard is green' or 'Sandra got the football' or both.