Dave is big. Dave is not green. Dave is kind. Dave is rough. Dave is round. Dave is not smart. Dave is white. Erin is big. Erin is not green. Erin is kind. Erin is rough. Erin is round. Erin is smart. Erin is white. Gary is not smart. Gary is not white. If someone is not rough and not green then they are round.
Erin is not smart.