Task: Fact Verification
Input (English): All Short-eared dogs are canine mammals.
All dogs are canine mammals.
Output (English): True