Anne is not round. Charlie is big. Dave is big. Harry is not white. If something is not white and not green then it is rough. If something is rough then it is not smart. Rough, white things are smart.
Dave is smart.