Bob is quiet. Dave is blue. Erin is big. Erin is young. Gary is big. Gary is kind. Gary is smart. If someone is big then they are smart. All kind people are blue. If someone is cold then they are smart. All kind people are blue. If someone is cold and big then they are young. If someone is kind and big then they are cold.
Dave is not cold.