8. The method according to claim 7 , wherein the determining a plurality of sets of documents using theorem proving for scoring the candidate answer includes using each of the plurality of logical proofs of the candidate answer to determine a respective one of the plurality of sets of documents.
7. The method according to claim 6 , wherein the identifying a logical proof of the candidate answer includes identifying a plurality of logical proofs of the candidate answer.