Bob is nice. Charlie is nice. Gary is smart. Harry is smart. If something is rough then it is not round. If something is not furry then it is smart. If Gary is furry and Gary is not big then Gary is not red.
Harry is smart.