Anne is not young. Bob is blue. Dave is not blue. Dave is kind. Dave is smart. Dave is young. Gary is round. If something is young and not cold then it is round. If something is not young then it is not kind. If Gary is round then Gary is blue. Round, blue things are not rough. If something is rough and not kind then it is round. Cold things are not kind. All young things are rough. If Anne is not rough then Anne is not smart.
Anne is not rough.