There is little chance that Julius is white. There is a very good chance that Fred went to the office. It is almost certain that Greg is yellow. It is certain that if 'Julius is white' or 'Fred went to the office' or both then Sandra grabbed the apple. It is highly likely that if 'Fred went to the office' or 'Greg is yellow' or both then Jessica is a mouse. It is certain that if 'Fred went to the office' or 'Julius is white' or both then Brian is a rhino.
It is impossible that 'Julius is white' or 'Sandra grabbed the apple' or both.
There is a very good chance that 'Julius is white' or 'Sandra grabbed the apple' or both.
It is impossible that 'Julius is white' or 'Sandra grabbed the apple' 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.95::factC.
  %hop1
  1.0::factX:-or(factA,factB).
  0.9::factY:-or(factB,factC).
  1.0::factZ:-or(factB,factA).

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

  query(conclusion).
  
'Julius is white' or 'Sandra grabbed the apple' or both.