Anne is blue. Anne is rough. Anne is round. Bob is blue. Bob is nice. Gary is not blue. Harry is red. If something is cold and not red then it is round. If something is not red then it is white. If Gary is round and Gary is blue then Gary is nice. If something is nice then it is white. Nice things are rough. If something is rough and not red then it is cold. All white things are nice.
Gary is not rough.