Task: Fact Verification
Input (English): Paragraph: If someone is green then they are kind. If someone is blue then they are not green. If the cat is cold and the cat is not kind then the cat is blue. All cold, green people are not kind. If someone is kind then they are not cold. If the cat is kind then the cat is blue. The cat is blue. If someone is not round then they are not cold. If someone is not blue then they are not round.     Question: The cat is blue.
Output (English): True