Erin is big. Erin is blue. Erin is cold. Erin is red. Erin is rough. Erin is round. Erin is white. Harry is big. Harry is blue. Harry is cold. Harry is red. Harry is rough. Harry is round. Harry is white. If Harry is round and Harry is cold then Harry is white. Red, cold things are blue. If Erin is blue then Erin is rough. If Erin is rough and Erin is blue then Erin is white. If Harry is round and Harry is big then Harry is blue. All red, big things are rough.
Harry is not red.