Fix variable name in rule #2
Add clarified rule formatting
Add automated test procedure for tuffy 'class' experiment
Use NotLink for negation, simplify rules
Add instructions to reproduce the test
Add NotLink version of negated predicate
Add SQL database export of evidence
Add rc1000 reduced size sample of RC/class dataset for testing