It is almost certain that Julius is white. It is likely that Brian is gray. There is little chance that Mary took the football. There is little chance that if 'Mary took the football' or 'Brian is gray' or both then Bill left the milk. It is improbable that if either 'Brian is gray' or 'Julius is white' but not both then Jeff discarded the milk. It is unlikely that if 'Brian is gray' or 'Mary took the football' or both then Bernhard is green.
It is almost certain that 'Jeff discarded the milk' or 'Bill left the milk' or both.
Chances are slight that 'Jeff discarded the milk' or 'Bill left the milk' or both.
It is almost certain that 'Jeff discarded the milk' or 'Bill left the milk' 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.95::factA.
  0.7::factB.
  0.1::factC.
  %hop1
  0.1::factX:-or(factC,factB).
  0.1::factY:-xor(factB,factA).
  0.2::factZ:-or(factB,factC).

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

  query(conclusion).
  
'Jeff discarded the milk' or 'Bill left the milk' or both.