Bob is cold. Bob is furry. Bob is green. Bob is nice. Bob is rough. Bob is white. Erin is cold. Erin is green. Erin is nice. Erin is rough. Erin is white. Gary is cold. Gary is green. Gary is kind. Gary is nice. All rough, white things are cold. If Erin is kind and Erin is green then Erin is cold. Furry, cold things are nice. If Bob is cold and Bob is furry then Bob is white. All rough things are nice. All nice things are green.
Erin is not nice.