Add not_true and not_false predicates
Merge pull request #335 from PChambino/inverse_predicates

Add `not_true` and `not_false` predicates