It is almost certain that Yann is tired. It is almost certain that Lily is green. There is a better than even chance that Mary went to the garden. It is almost certain that if 'Lily is green and Mary went to the garden' then Brian is a rhino. It is unlikely that if either 'Yann is tired' or 'Lily is green' but not both then John got the milk. There is a very good chance that if 'Mary went to the garden' or 'Lily is green' or both then Greg is gray.
It is almost certain that either 'Mary went to the garden' or 'Lily is green' but not both.
Chances are about even that either 'Mary went to the garden' or 'Lily is green' but not both.
It is almost certain that either 'Mary went to the garden' or 'Lily is green' 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.95::factA.
  0.95::factB.
  0.6::factC.
  %hop1
  0.95::factX:-and(factB,factC).
  0.2::factY:-xor(factA,factB).
  0.8::factZ:-or(factC,factB).

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

  query(conclusion).
  
Either 'Mary went to the garden' or 'Lily is green' but not both.