Anne is not green. Anne is rough. Dave is kind. Dave is nice. Dave is rough. Erin is green. Erin is nice. Big, white things are kind. If something is kind and not green then it is not smart. If Anne is smart then Anne is white. Nice, white things are rough. If something is nice then it is rough. If something is big and not white then it is not green.
Dave is white.