Task: Fact Verification
Input (English): Paragraph: If Gary is not red then Gary is rough. White, big people are blue. If Harry is big then Harry is not white. All kind, blue people are red. All red people are cold. Gary is red. Harry is rough. Anne is big. If someone is rough then they are not kind. If someone is not white then they are rough. If Gary is big and Gary is not kind then Gary is not blue.     Question: Anne is big.
Output (English): True