Chances are about even that Sumit is thirsty. It is almost certain that Julius is a lion. It is almost certain that Brian is green. It is certain that if either 'Sumit is thirsty' or 'Julius is a lion' but not both then Bill left the milk. We believe that if 'Sumit is thirsty and Julius is a lion' then Greg is white. It is probably not the case that if 'Brian is green' or 'Sumit is thirsty' or both then John dropped the apple.
There is a better than even chance that either 'Brian is green' or 'Greg is white' but not both.
There is a better than even chance that either 'Brian is green' or 'Greg is white' but not both.
There is little chance that either 'Brian is green' or 'Greg is white' 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.5::factA.
  0.95::factB.
  0.95::factC.
  %hop1
  1.0::factX:-xor(factA,factB).
  0.75::factY:-and(factA,factB).
  0.25::factZ:-or(factC,factA).

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

  query(conclusion).
  
Either 'Brian is green' or 'Greg is white' but not both.