Charlie is cold. Charlie is rough. Charlie is not round. Charlie is smart. Dave is furry. Dave is red. Dave is rough. Dave is smart. Erin is cold. Erin is furry. Erin is not green. Erin is red. Erin is rough. Harry is furry. Harry is smart. If someone is not cold then they are not green.
Erin is not red.