Task: Commonsense Classification
Input (English): Head: mathematician<sep>Tail: prove theorum
Output (English): Yes