Charlie is not smart. Charlie is young. Erin is red. All red things are kind. If Erin is young and Erin is not blue then Erin is green. Blue things are nice. Nice things are not smart. If something is nice then it is not green. Blue things are kind. Green things are not red. All blue things are smart.
Erin is not red.