Chances are about even that John left the football. It is impossible that Bernhard is white. We doubt that Greg is a frog. There is a better than even chance that if either 'Greg is a frog' or 'Bernhard is white' but not both then Lily is green. Chances are about even that if 'John left the football' or 'Bernhard is white' or both then Brian is yellow. It is probable that if 'John left the football' or 'Bernhard is white' or both then Mary moved to the garden.
It is highly likely that 'Mary moved to the garden' or 'Bernhard is white' or both.
It is probably not the case that 'Mary moved to the garden' or 'Bernhard is white' or both.
It is highly likely that 'Mary moved to the garden' or 'Bernhard is white' 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.5::factA.
  0.0::factB.
  0.2::factC.
  %hop1
  0.6::factX:-xor(factC,factB).
  0.5::factY:-or(factA,factB).
  0.7::factZ:-or(factA,factB).

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

  query(conclusion).
  
'Mary moved to the garden' or 'Bernhard is white' or both.