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