Use NotLink for negation, simplify rules
Add instructions to reproduce the test
Add NotLink version of negated predicate
Add SQL database export of evidence