It is unlikely that Jessica is a mouse. It is impossible that Sumit is tired. It is improbable that Emily is a wolf. It is probable that if 'Sumit is tired' or 'Jessica is a mouse' or both then Julius is yellow. It is probably not the case that if either 'Sumit is tired' or 'Jessica is a mouse' but not both then Lily is a lion. It is probably not the case that if either 'Sumit is tired' or 'Emily is a wolf' but not both then John went to the hallway.
It is probable that either 'Julius is yellow' or 'Sumit is tired' but not both.
There is little chance that either 'Julius is yellow' or 'Sumit is tired' but not both.
It is probable that either 'Julius is yellow' or 'Sumit 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.2::factA.
  0.0::factB.
  0.1::factC.
  %hop1
  0.7::factX:-or(factB,factA).
  0.25::factY:-xor(factB,factA).
  0.25::factZ:-xor(factB,factC).

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

  query(conclusion).
  
Either 'Julius is yellow' or 'Sumit is tired' but not both.