Anne is nice. Anne is rough. Anne is smart. Anne is white. Dave is kind. Dave is red. Dave is rough. Dave is smart. Dave is white. Fiona is kind. Fiona is nice. Fiona is rough. Fiona is smart. Fiona is white. Gary is big. Gary is kind. Red, nice people are smart. Smart people are nice. If someone is red then they are kind. If someone is white then they are kind. If someone is kind and big then they are white. Nice, kind people are white. White people are smart. If someone is white and nice then they are red. All red people are rough.
Gary is not nice.