Bob is nice. Bob is smart. Erin is cold. Erin is young. Gary is cold. Gary is nice. Gary is not red. Gary is round. Harry is smart. Harry is not young. If someone is not young then they are cold. If someone is nice and red then they are cold. If someone is red and cold then they are nice. Rough people are red. If someone is nice and not rough then they are smart. If someone is not round and not young then they are not rough. If someone is young then they are red. If someone is not nice then they are not rough.
Erin is smart.