Bob is cold. Bob is furry. Bob is green. Bob is red. Bob is rough. Bob is white. Charlie is green. Charlie is kind. Erin is cold. Erin is green. Erin is white. Gary is furry. Gary is green. Gary is white. If something is green and furry then it is cold. If Erin is white and Erin is green then Erin is furry. All green, rough things are furry. All red, kind things are green. Red things are green. If something is cold then it is red. Red things are white. If something is kind and green then it is rough. If Erin is white then Erin is green.
Erin is not rough.