Task: Information Extraction
Input (English): leave is true then also die is true
Output (English): leave Entails die