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