It is likely that Mary went to the kitchen. We believe that John put down the apple. It is probably not the case that Jessica is a cat. It is probably not the case that if 'Jessica is a cat' or 'John put down the apple' or both then Jason is tired. It is almost certain that if 'Mary went to the kitchen' or 'Jessica is a cat' or both then Julius is yellow. It is almost certain that if 'Mary went to the kitchen and John put down the apple' then Brian is green.
There is a better than even chance that either 'John put down the apple' or 'Jason is tired' but not both.
There is a better than even chance that either 'John put down the apple' or 'Jason is tired' but not both.
It is improbable that either 'John put down the apple' or 'Jason is tired' 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.75::factB.
  0.25::factC.
  %hop1
  0.25::factX:-or(factC,factB).
  0.95::factY:-or(factA,factC).
  0.95::factZ:-and(factA,factB).

  %hop2
  conclusion:-xor(factB,factX).

  query(conclusion).
  
Either 'John put down the apple' or 'Jason is tired' but not both.