There is a better than even chance that Brian is green. It is probably not the case that Jeff went to the garden. It is almost certain that Greg is gray. It is almost certain that if either 'Greg is gray' or 'Brian is green' but not both then Mary left the football. It is certain that if 'Jeff went to the garden and Brian is green' then Julius is yellow. We believe that if 'Brian is green and Greg is gray' then John got the milk.
It is highly likely that either 'Brian is green' or 'John got the milk' but not both.
We doubt that either 'Brian is green' or 'John got the milk' but not both.
It is highly likely that either 'Brian is green' or 'John got the milk' but not 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.6::factA.
  0.25::factB.
  0.95::factC.
  %hop1
  0.95::factX:-xor(factC,factA).
  1.0::factY:-and(factB,factA).
  0.75::factZ:-and(factA,factC).

  %hop2
  conclusion:-xor(factA,factZ).

  query(conclusion).
  
Either 'Brian is green' or 'John got the milk' but not both.