There is a very good chance that John grabbed the milk. It is unlikely that Lily is green. Chances are about even that Bernhard is green. It is probably not the case that if 'Lily is green' or 'Bernhard is green' or both then Jeff discarded the milk. It is unlikely that if 'Lily is green' or 'Bernhard is green' or both then Fred left the football. We believe that if 'Lily is green' or 'John grabbed the milk' or both then Mary moved to the office.
There is a very good chance that 'John grabbed the milk' or 'Jeff discarded the milk' or both.
There is a very good chance that 'John grabbed the milk' or 'Jeff discarded the milk' or both.
It is unlikely that 'John grabbed the milk' or 'Jeff discarded the milk' 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.8::factA.
  0.2::factB.
  0.5::factC.
  %hop1
  0.25::factX:-or(factB,factC).
  0.2::factY:-or(factB,factC).
  0.75::factZ:-or(factB,factA).

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

  query(conclusion).
  
'John grabbed the milk' or 'Jeff discarded the milk' or both.