It is probably the case that Julius is gray. There is a better than even chance that Greg is green. It is highly likely that John moved to the office. There is a very good chance that if 'John moved to the office and Greg is green' then Lily is a lion. It is unlikely that if 'Julius is gray' or 'John moved to the office' or both then Bernhard is a rhino. We believe that if 'John moved to the office' or 'Greg is green' or both then Brian is yellow.
It is highly likely that 'Julius is gray' or 'Greg is green' or both.
It is highly likely that 'Julius is gray' or 'Greg is green' or both.
It is highly unlikely that 'Julius is gray' or 'Greg is green' 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.6::factB.
  0.9::factC.
  %hop1
  0.8::factX:-and(factC,factB).
  0.2::factY:-or(factA,factC).
  0.75::factZ:-or(factC,factB).

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

  query(conclusion).
  
'Julius is gray' or 'Greg is green' or both.