A Deductive Question-Answering System