Charlie is not big. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is round. Dave is not big. Dave is furry. Dave is quiet. Dave is red. Erin is big. Erin is red. Erin is not round. If Charlie is furry and Charlie is big then Charlie is not young.
Dave is red.