Add a rule that lets PLN do ordinary reasoning about things that are true some of the time
Let it do boolean simplification when creating boolean links
Merge pull request #381 from jadeoneill/master

PLN rules