EinsteinUTest: minor cleanup
EinsteinUTest: One of the deduction rules was bad.
EinsteinUTest: add NotLink rules
EinsteinUTest: Add a transitive-not rule.
EinsteinUTest: restore the neighbor-deduct rules.
EinsteinUTet: some distinct attribute rules
EinsteinUTet: process of elimination
add some notes
Merge pull request #951 from linas/einstein

EinsteinUTest expansion