Anne is blue. Anne is rough. Bob is blue. Bob is green. Bob is quiet. Charlie is quiet. Charlie is red. Charlie is rough. Gary is green. Gary is quiet. Gary is red. Gary is rough. Gary is round. Gary is white. If Gary is white and Gary is red then Gary is quiet. If someone is rough then they are blue. All white people are round. Rough people are white. Red, round people are quiet. Rough, round people are green. All green, blue people are red. If someone is white and not blue then they are quiet.
Anne is not green.