Task: Information Extraction
Input (English): puff is true then also smoke is true
Output (English): puff Entails smoke