Multiple Answer Extraction for Question Answering with Automated Theorem Proving Systems