It is likely that John moved to the garden. It is highly unlikely that Julius is yellow. It is almost certain that Lily is green. There is almost no chance that if 'John moved to the garden' or 'Lily is green' or both then Gertrude is a mouse. It is probable that if 'Lily is green' or 'John moved to the garden' or both then Mary got the football. Chances are slight that if 'Lily is green and John moved to the garden' then Bernhard is gray.
It is improbable that 'Julius is yellow' or 'Bernhard is gray' or both.
It is improbable that 'Julius is yellow' or 'Bernhard is gray' or both.
It is highly likely that 'Julius is yellow' or 'Bernhard is gray' 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.7::factA.
  0.05::factB.
  0.95::factC.
  %hop1
  0.02::factX:-or(factA,factC).
  0.7::factY:-or(factC,factA).
  0.1::factZ:-and(factC,factA).

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

  query(conclusion).
  
'Julius is yellow' or 'Bernhard is gray' or both.