Task: Information Extraction
Input (English): solve is true then also reason is true
Output (English): solve Entails reason