Bob is blue. Bob is kind. Bob is red. Charlie is red. Charlie is rough. Erin is not furry. Erin is kind. Erin is red. Erin is rough. Harry is not blue. Harry is not furry. Harry is rough. If Bob is blue and Bob is not red then Bob is smart. If Harry is not rough then Harry is smart.
Erin is rough.