It is probably not the case that Julius is yellow. There is a very good chance that Lily is green. It is probably the case that Jason is tired. It is highly likely that if 'Julius is yellow and Lily is green' then John moved to the garden. We believe that if 'Julius is yellow and Lily is green' then Bernhard is white. Chances are about even that if either 'Jason is tired' or 'Julius is yellow' but not both then Mary took the milk.
It is unlikely that 'Jason is tired' or 'Bernhard is white' or both.
We believe that 'Jason is tired' or 'Bernhard is white' or both.
It is unlikely that 'Jason is tired' 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.25::factA.
  0.8::factB.
  0.7::factC.
  %hop1
  0.9::factX:-and(factA,factB).
  0.75::factY:-and(factA,factB).
  0.5::factZ:-xor(factC,factA).

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

  query(conclusion).
  
'Jason is tired' or 'Bernhard is white' or both.