Dave is round. Dave is smart. Dave is young. Erin is blue. Erin is cold. Erin is rough. Erin is not round. Erin is smart. Erin is young. Harry is blue. Harry is cold. Harry is red. Harry is rough. Harry is round. Harry is smart. Harry is young. If someone is round then they are cold. All cold people are young. If Dave is cold and Dave is round then Dave is rough. If someone is smart and not round then they are red. Cold people are red. If someone is round and cold then they are young. If someone is round and not young then they are cold. If someone is not young then they are blue.
Erin is red.