Anne is big. Anne is blue. Anne is white. Gary is big. Gary is nice. Gary is quiet. Gary is red. Blue, green people are white. If Gary is not blue then Gary is white. If someone is not green then they are quiet. If Gary is green and Gary is not blue then Gary is white. If someone is nice and not white then they are not blue. If someone is blue and not white then they are nice.
Gary is not nice.