We doubt that Brian is green. It is unlikely that Lily is gray. There is a better than even chance that Mary went to the bedroom. It is probably not the case that if 'Brian is green' or 'Mary went to the bedroom' or both then Jessica is a mouse. It is likely that if either 'Lily is gray' or 'Mary went to the bedroom' but not both then Bernhard is a lion. It is impossible that if 'Mary went to the bedroom' or 'Lily is gray' or both then Julius is a rhino.
It is almost certain that either 'Jessica is a mouse' or 'Bernhard is a lion' but not both.
Chances are about even that either 'Jessica is a mouse' or 'Bernhard is a lion' but not both.
It is almost certain that either 'Jessica is a mouse' or 'Bernhard is a lion' 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.2::factA.
  0.2::factB.
  0.6::factC.
  %hop1
  0.25::factX:-or(factA,factC).
  0.7::factY:-xor(factB,factC).
  0.0::factZ:-or(factC,factB).

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

  query(conclusion).
  
Either 'Jessica is a mouse' or 'Bernhard is a lion' but not both.