Anne is nice. Anne is young. Dave is big. Dave is nice. Dave is red. Dave is white. Dave is young. Erin is big. Erin is blue. Erin is kind. Erin is not nice. Erin is red. Erin is white. Erin is young. Gary is not big. Gary is not red. All red, big people are blue. If someone is big and not red then they are kind. If someone is young and not big then they are nice. If Erin is kind and Erin is blue then Erin is white. If someone is red then they are young. Kind, nice people are blue. All red people are young. If someone is young and not white then they are blue.
Gary is not kind.