Chances are about even that Jason is bored. It is almost certain that Brian is white. There is a better than even chance that Bill went to the garden. Chances are about even that if 'Jason is bored and Brian is white' then Lily is a frog. It is almost certain that if 'Bill went to the garden' or 'Jason is bored' or both then Bernhard is yellow. It is highly unlikely that if 'Brian is white and Jason is bored' then Julius is a frog.
It is probably not the case that 'Julius is a frog' or 'Bernhard is yellow' or both.
We believe that 'Julius is a frog' or 'Bernhard is yellow' or both.
It is probably not the case that 'Julius is a frog' or 'Bernhard is yellow' 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.95::factB.
  0.6::factC.
  %hop1
  0.5::factX:-and(factA,factB).
  0.95::factY:-or(factC,factA).
  0.05::factZ:-and(factB,factA).

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

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