Chances are slight that Lily is gray. There is a very good chance that Fred moved to the office. It is probably the case that Julius is white. It is impossible that if 'Lily is gray and Julius is white' then Brian is a lion. It is improbable that if either 'Fred moved to the office' or 'Julius is white' but not both then Bernhard is a frog. It is improbable that if 'Julius is white and Lily is gray' then Jessica is a cat.
It is likely that 'Jessica is a cat' or 'Julius is white' or both.
It is likely that 'Jessica is a cat' or 'Julius is white' or both.
There is little chance that 'Jessica is a cat' or 'Julius 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.1::factA.
  0.8::factB.
  0.7::factC.
  %hop1
  0.0::factX:-and(factA,factC).
  0.1::factY:-xor(factB,factC).
  0.1::factZ:-and(factC,factA).

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

  query(conclusion).
  
'Jessica is a cat' or 'Julius is white' or both.