It is likely that Emily is a sheep. Chances are about even that Sandra left the milk. It is highly likely that Julius is green. It is probably the case that if 'Sandra left the milk and Julius is green' then Winona is a mouse. There is a very good chance that if either 'Emily is a sheep' or 'Sandra left the milk' but not both then John went to the office. It is highly likely that if 'Julius is green and Sandra left the milk' then Lily is gray.
It is probably not the case that either 'Julius is green' or 'Emily is a sheep' but not both.
It is probably not the case that either 'Julius is green' or 'Emily is a sheep' but not both.
We believe that either 'Julius is green' or 'Emily is a sheep' 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.7::factA.
  0.5::factB.
  0.9::factC.
  %hop1
  0.7::factX:-and(factB,factC).
  0.8::factY:-xor(factA,factB).
  0.9::factZ:-and(factC,factB).

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

  query(conclusion).
  
Either 'Julius is green' or 'Emily is a sheep' but not both.