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