See the attached program, which has 6 propositional clauses, each using at most one proposition in its body. The bug is exhibited not in version 2.7.1, but in later releases.
The good news is, the most recent CVS snapshot does not show the bug.
Note: changing the order of clauses defining "r" results in the correct answer. Order of clauses defining "q" does not matter.