Charlie is nice. Charlie is quiet. Charlie is red. Charlie is round. Dave is big. Dave is cold. Dave is nice. Dave is quiet. Dave is red. Dave is round. Dave is young. Erin is big. Erin is cold. Erin is quiet. Erin is young. All red people are quiet. All red, quiet people are round. If Dave is quiet and Dave is young then Dave is red. All nice, round people are quiet. All big people are young. If someone is red then they are big.
Charlie is big.