Anne is young. Dave is round. Erin is smart. Gary is round. If Erin is red and Erin is kind then Erin is round. Young, round people are red. If Dave is smart and Dave is white then Dave is kind. If Dave is young then Dave is kind. If someone is smart then they are blue. If someone is red and young then they are blue. Young people are kind. All blue people are kind.
Dave is not blue.