Charlie is nice. Erin is rough. Gary is not cold. Blue people are not cold. Red, rough people are not smart. All furry people are not smart. If Charlie is red and Charlie is rough then Charlie is smart. If someone is furry and not rough then they are cold. Rough people are blue. All nice people are cold. If someone is nice and not blue then they are not furry.
Erin is not rough.