Anne is big. Bob is rough. Bob is young. Erin is red. Erin is rough. Erin is young. Harry is rough. If someone is red then they are cold. If someone is rough and not young then they are red. All kind people are not big. Kind people are big. All cold people are blue. All rough, blue people are big. If Harry is big then Harry is red. If Harry is big then Harry is not young. If someone is blue and not cold then they are rough.
Anne is not red.