Bob is blue. Charlie is rough. Dave is blue. Dave is nice. Erin is nice. Erin is red. Erin is rough. All rough people are furry. Rough, nice people are blue. If someone is cold then they are furry. Kind people are cold. If Charlie is nice and Charlie is blue then Charlie is red. All blue people are kind. All furry people are nice.
Erin is not blue.