Task: Fact Verification
Input (English): Paragraph: Fiona is smart. Gary is furry. If something is blue then it is red. Charlie is smart. All blue, white things are rough. If something is white and smart then it is red. Bob is red. Blue, rough things are furry. White, red things are big. All blue things are smart.     Question: Charlie is smart.
Output (English): True