Combining Fact Extraction and Verification with Neural Semantic Matching Networks