Anne is kind. Charlie is white. Dave is blue. Dave is kind. Dave is white. Erin is kind. Erin is young. Young, kind people are big. If someone is kind then they are blue. If someone is kind and big then they are young. If someone is blue and kind then they are big. If someone is white and blue then they are cold. Big people are smart. All white, blue people are smart. All young, smart people are white.
Dave is not smart.