Bob is nice. Dave is big. Dave is kind. Dave is white. Erin is big. Erin is nice. Erin is quiet. Erin is red. Erin is rough. Gary is kind. All quiet people are white. Kind people are white. If someone is big then they are rough. Rough people are kind. If someone is white then they are quiet. All nice people are big. White, quiet people are red. If someone is kind then they are big.
Gary is not nice.