Anne is big. Anne is blue. Anne is kind. Anne is red. Anne is round. Anne is white. Charlie is blue. Fiona is big. Fiona is blue. Fiona is kind. Fiona is red. Fiona is round. Fiona is white. Gary is big. Gary is quiet. Gary is white. All white things are kind. If something is blue then it is kind. All red, white things are round. Blue, big things are quiet. If something is round and blue then it is red. All red things are quiet. All quiet things are round. Round things are white. If something is kind then it is big.
Gary is not red.