Chances are slight that Brian is a rhino. There is almost no chance that John moved to the garden. There is a very good chance that Bernhard is green. There is a very good chance that if 'Bernhard is green and John moved to the garden' then Lily is yellow. It is probably not the case that if either 'Brian is a rhino' or 'Bernhard is green' but not both then Mary left the football. It is highly likely that if 'Bernhard is green' or 'John moved to the garden' or both then Julius is a frog.
We believe that 'Mary left the football' or 'John moved to the garden' or both.
It is unlikely that 'Mary left the football' or 'John moved to the garden' or both.
We believe that 'Mary left the football' or 'John moved to the garden' 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.1::factA.
  0.02::factB.
  0.8::factC.
  %hop1
  0.8::factX:-and(factC,factB).
  0.25::factY:-xor(factA,factC).
  0.9::factZ:-or(factC,factB).

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

  query(conclusion).
  
'Mary left the football' or 'John moved to the garden' or both.