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)