Anne is green. Anne is nice. Anne is red. Anne is round. Charlie is green. Charlie is white. Charlie is young. Gary is nice. Gary is white. Gary is young. If Gary is kind and Gary is nice then Gary is white. All kind people are nice. If someone is green and kind then they are white. All green people are kind. Round people are young. All red people are white.
Gary is not kind.