Anne is round. Dave is big. Dave is kind. Dave is rough. Dave is not round. Dave is young. Gary is big. Gary is kind. Gary is round. Harry is kind. If Gary is not big then Gary is nice. Red people are nice. All nice people are kind. If someone is rough then they are not red. If someone is round and not rough then they are red. If someone is nice then they are kind. Big people are nice. If Gary is not young then Gary is nice.
Gary is not nice.