Charlie is red. Charlie is smart. Dave is nice. Dave is quiet. Dave is red. Dave is round. Dave is smart. Erin is nice. Erin is smart. Gary is kind. Gary is nice. Gary is red. If Charlie is smart and Charlie is round then Charlie is blue. If Charlie is red then Charlie is round. If someone is quiet then they are nice. Round, blue people are kind. If someone is round and blue then they are kind. If someone is blue and quiet then they are round. If someone is kind and round then they are quiet. If someone is quiet then they are kind.
Gary is smart.