Anne is nice. Anne is red. Bob is cold. Bob is kind. Bob is quiet. Bob is smart. Dave is red. Gary is kind. Gary is red. Gary is white. All quiet people are nice. If Dave is white then Dave is red. If someone is white and kind then they are smart. If Dave is nice then Dave is quiet. All white people are cold. If Anne is kind and Anne is quiet then Anne is cold. All cold people are smart. If someone is cold and white then they are smart.
Gary is smart.