Charlie is not rough. Dave is not blue. Dave is cold. Dave is green. Dave is quiet. Dave is rough. Dave is round. Erin is cold. Erin is green. Erin is quiet. Erin is rough. Erin is round. Gary is blue. Gary is cold. Gary is quiet. Gary is red. If Gary is cold then Gary is round. If someone is green and not cold then they are blue. All rough people are round.
Gary is not round.