It is probable that Emily is a mouse. Chances are slight that Mary moved to the garden. It is impossible that Lily is green. It is certain that if 'Lily is green and Mary moved to the garden' then Bernhard is a rhino. It is probably the case that if either 'Emily is a mouse' or 'Lily is green' but not both then John discarded the apple. It is highly unlikely that if 'Mary moved to the garden and Emily is a mouse' then Brian is gray.
It is likely that either 'Lily is green' or 'Emily is a mouse' but not both.
It is likely that either 'Lily is green' or 'Emily is a mouse' but not both.
It is improbable that either 'Lily is green' or 'Emily is a mouse' 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.1::factB.
  0.0::factC.
  %hop1
  1.0::factX:-and(factC,factB).
  0.7::factY:-xor(factA,factC).
  0.05::factZ:-and(factB,factA).

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

  query(conclusion).
  
Either 'Lily is green' or 'Emily is a mouse' but not both.