Anne is blue. Erin is cold. Erin is young. Gary is red. Gary is young. Harry is big. Harry is blue. If something is blue then it is big. If Harry is young and Harry is big then Harry is red. If something is young then it is smart. If something is big then it is cold. If something is blue and red then it is young. If something is young and smart then it is rough. If something is smart and rough then it is blue. All cold, blue things are big. If something is cold and young then it is big.
Anne is not red.