Charlie is furry. Charlie is nice. Charlie is quiet. Charlie is not red. Charlie is not round. Charlie is young. Dave is quiet. Dave is round. Erin is big. Erin is nice. Erin is quiet. Erin is not round. Erin is young. Fiona is nice. Fiona is round. All red things are big. All big things are nice. If Dave is not round then Dave is red. Quiet things are not red. All nice, big things are young. Young, red things are furry. If Dave is red and Dave is big then Dave is young. If something is round and not big then it is nice.
Charlie is not red.