It is certain that Brian is white. It is probably the case that Daniel left the apple. We doubt that Julius is a rhino. We doubt that if 'Brian is white and Daniel left the apple' then John went to the kitchen. It is probably the case that if 'Julius is a rhino and Brian is white' then Lily is yellow. There is a very good chance that if 'Julius is a rhino' or 'Brian is white' or both then Mary picked up the milk.
It is probable that either 'Mary picked up the milk' or 'Lily is yellow' but not both.
It is probable that either 'Mary picked up the milk' or 'Lily is yellow' but not both.
It is unlikely that either 'Mary picked up the milk' or 'Lily is yellow' 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
  1.0::factA.
  0.7::factB.
  0.2::factC.
  %hop1
  0.2::factX:-and(factA,factB).
  0.7::factY:-and(factC,factA).
  0.8::factZ:-or(factC,factA).

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

  query(conclusion).
  
Either 'Mary picked up the milk' or 'Lily is yellow' but not both.