opencog/opencog — pull request #679 by jadeoneill (2014-04-08 04:12:50+00:00)
Title: Some rules to directly evaluate ImplicationLinks based on a dataset

It includes (ImplicationLink (Not A) B) as well as (ImplicationLink A B) so you can use PreciseModusPonens instead of the error-prone approximate version. And pln_examples.py allows more than one query in a file (and will try to produce all of them at once)