Bob is nice. Bob is red. Bob is rough. Charlie is furry. Erin is quiet. Erin is rough. Gary is nice. All nice people are smart. If Gary is smart then Gary is furry. Smart people are rough. If Charlie is cold and Charlie is furry then Charlie is red. All quiet, nice people are rough. If Gary is smart and Gary is cold then Gary is red.
Gary is not smart.