Task: Information Extraction
Input (English): dream is true then also sleep is true
Output (English): dream Entails sleep