Task: Information Extraction
Input (English): paw is true then also touch is true
Output (English): paw Entails touch