nltk

Fixes #3046: corrected ResolutionProver.find_answers such that incorrect clauses no longer are added as answers

Merge pull request #3378 from ekaf/hotfix-3377

Add paragraph about the three problematic versions

Merge remote-tracking branch 'upstream/develop' into hotfix-3377

Merge pull request #3337 from ekaf/ewn