We doubt that Brian is white. It is impossible that Lily is a lion. There is little chance that Mary went to the kitchen. It is highly likely that if either 'Mary went to the kitchen' or 'Brian is white' but not both then Julius is a frog. It is unlikely that if 'Lily is a lion and Brian is white' then John picked up the apple. It is probable that if 'Brian is white' or 'Mary went to the kitchen' or both then Bernhard is a rhino.
It is almost certain that either 'Lily is a lion' or 'Julius is a frog' but not both.
It is probably not the case that either 'Lily is a lion' or 'Julius is a frog' but not both.
It is almost certain that either 'Lily is a lion' or 'Julius is a frog' 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.9::factX:-xor(factC,factA).
  0.2::factY:-and(factB,factA).
  0.7::factZ:-or(factA,factC).

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

  query(conclusion).
  
Either 'Lily is a lion' or 'Julius is a frog' but not both.