Charlie is red. Erin is furry. Erin is rough. Gary is cold. Gary is furry. Gary is nice. Gary is red. Gary is young. Harry is nice. Harry is red. Harry is rough. If Charlie is rough and Charlie is nice then Charlie is furry. If someone is rough and cold then they are round. Red people are rough. All furry people are young. If someone is furry and young then they are round. If Charlie is nice then Charlie is red. If someone is rough then they are nice. All furry, nice people are young. If someone is furry and not young then they are not round.
Erin is not rough.