Anne is cold. Anne is green. Anne is round. Anne is smart. Charlie is big. Charlie is green. Charlie is kind. Charlie is round. Charlie is smart. Charlie is young. Erin is big. Erin is cold. Erin is green. Erin is kind. Erin is round. Erin is smart. All cold, kind people are smart. All big people are green. All young people are kind. If Erin is round and Erin is big then Erin is cold. If Anne is young then Anne is kind. If Erin is green and Erin is big then Erin is round. Kind, cold people are big. Green people are kind.
Erin is not young.