We doubt that Bernhard is white. It is unlikely that Julius is gray. There is almost no chance that Mary moved to the office. There is almost no chance that if 'Julius is gray and Bernhard is white' then Jessica is a mouse. Chances are slight that if 'Mary moved to the office' or 'Julius is gray' or both then Lily is a rhino. It is likely that if 'Bernhard is white and Mary moved to the office' then John left the milk.
It is probable that 'Julius is gray' or 'Jessica is a mouse' or both.
We doubt that 'Julius is gray' or 'Jessica is a mouse' or both.
It is probable that 'Julius is gray' or 'Jessica is a mouse' 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.2::factA.
  0.2::factB.
  0.02::factC.
  %hop1
  0.02::factX:-and(factB,factA).
  0.1::factY:-or(factC,factB).
  0.7::factZ:-and(factA,factC).

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

  query(conclusion).
  
'Julius is gray' or 'Jessica is a mouse' or both.