Anne is round. Charlie is furry. Gary is round. If something is nice then it is smart. If Gary is smart then Gary is nice. If something is smart and not cold then it is young. If something is round then it is smart. If something is nice and not furry then it is smart. If something is cold then it is young. If something is smart and round then it is young. If something is cold and not furry then it is rough.
Gary is not smart.