Anne is big. Gary is red. Harry is rough. If someone is not white then they are rough. All red people are cold. If someone is rough then they are not kind. White, big people are blue. If Harry is big then Harry is not white. All kind, blue people are red. If Gary is big and Gary is not kind then Gary is not blue. If Gary is not red then Gary is rough.
Harry is big.