Dave is big. Dave is blue. Dave is cold. Dave is kind. Dave is round. Dave is smart. Gary is big. Gary is blue. Gary is kind. Gary is quiet. Gary is round. Gary is smart. If someone is round and big then they are kind. If someone is round and blue then they are kind. If Gary is quiet then Gary is smart. All quiet people are cold. Smart people are round. If Dave is quiet then Dave is kind. If Dave is quiet then Dave is smart. If someone is kind and cold then they are round.
Gary is not blue.