Added real time inqueryIsSame() functions for two entity and string state value
Added rules to specify different variable Entities should be bound to different values.
Allow the the old state value of an effect state remain ungrounded.
Added a set of rules for Einstein puzzle that if one person lives in one house then he doesn't live in another house, smokes one brand then he doesn't smoke another, and so as pets and drink.