This would run up against a standard halting-type reduction: if there is any unanswerable question Q, and you feed your test the question "A and Q?", then you w

This would run up against a standard halting-type reduction: if there is any unanswerable question Q, and you feed your test the question "A and Q?", then you will be testing whether A is true.