It is probably not the case that John took the football. It is improbable that Julius is gray. It is improbable that Lily is a frog. There is a very good chance that if 'John took the football' or 'Julius is gray' or both then Bernhard is white. We believe that if 'John took the football' or 'Lily is a frog' or both then Mary went to the kitchen. It is unlikely that if 'Lily is a frog' or 'Julius is gray' or both then Greg is gray.
It is probably not the case that 'Mary went to the kitchen' or 'John took the football' or both.
It is probably not the case that 'Mary went to the kitchen' or 'John took the football' or both.
It is certain that 'Mary went to the kitchen' or 'John took 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.25::factA.
  0.1::factB.
  0.1::factC.
  %hop1
  0.8::factX:-or(factA,factB).
  0.75::factY:-or(factA,factC).
  0.2::factZ:-or(factC,factB).

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

  query(conclusion).
  
'Mary went to the kitchen' or 'John took the football' or both.