Charlie is big. Charlie is red. Charlie is rough. Charlie is smart. Dave is round. Dave is smart. Erin is big. Erin is kind. Erin is red. Erin is round. Gary is big. Gary is quiet. All smart, kind things are quiet. If something is big and kind then it is smart.
Dave is not red.