Dave is big. Dave is blue. Dave is not green. Dave is rough. Dave is smart. Dave is white. Dave is young. Erin is big. Erin is blue. Erin is green. Erin is rough. Erin is smart. Erin is white. Erin is young. If something is not white then it is young. If something is big and not blue then it is rough. If something is not green then it is smart.
Erin is not big.