Charlie is green. Dave is smart. Erin is kind. Young, white things are round. All green things are not young. If something is young and not smart then it is not round. If something is nice and young then it is white. If something is smart then it is young. If something is kind and not round then it is young.
Erin is not smart.