Fix variable name in rule #2
Merge pull request #20 from cosmoharrigan/class

Fix variable name in rule #2
Add clarified rule formatting
Merge pull request #21 from cosmoharrigan/class

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
Merge pull request #22 from cosmoharrigan/class

Add SQL for RC class dataset, add automated test instructions
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
Add test procedure for reduced size dataset
Merge pull request #23 from cosmoharrigan/class

Add rc1000 reduced size sample of RC/class dataset for testing