We believe that John went to the garden. There is almost no chance that Sumit is bored. There is a better than even chance that Lily is green. It is unlikely that if 'John went to the garden' or 'Lily is green' or both then Brian is white. It is probable that if either 'John went to the garden' or 'Lily is green' but not both then Mary got the apple. There is a better than even chance that if 'Lily is green and Sumit is bored' then Julius is a swan.
It is likely that either 'Sumit is bored' or 'Brian is white' but not both.
We doubt that either 'Sumit is bored' or 'Brian is white' but not both.
It is likely that either 'Sumit is bored' or 'Brian is white' 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.75::factA.
  0.02::factB.
  0.6::factC.
  %hop1
  0.2::factX:-or(factA,factC).
  0.7::factY:-xor(factA,factC).
  0.6::factZ:-and(factC,factB).

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

  query(conclusion).
  
Either 'Sumit is bored' or 'Brian is white' but not both.