Anne is green. Anne is kind. Anne is quiet. Charlie is big. Charlie is kind. Charlie is red. Dave is big. Dave is green. Dave is kind. Dave is quiet. Dave is red. Dave is rough. Dave is white. Gary is big. Gary is quiet. Gary is white. Kind people are rough. If Gary is white then Gary is red. Quiet, green people are white. Rough, white people are quiet. Red, quiet people are rough. If someone is white then they are green. If Charlie is green and Charlie is quiet then Charlie is kind. Kind people are white.
Gary is red.