Anne is big. Anne is cold. Anne is quiet. Anne is red. Anne is rough. Anne is white. Charlie is big. Charlie is quiet. Charlie is rough. Charlie is white. Fiona is quiet. Fiona is white. Gary is blue. Gary is cold. Gary is rough. Gary is white. If Gary is blue then Gary is rough. Rough, big people are blue. If Charlie is red then Charlie is blue.
Charlie is not blue.