Anne is green. Charlie is young. Erin is kind. Fiona is furry. Furry, smart things are green. If Anne is cold then Anne is red. If Fiona is cold and Fiona is kind then Fiona is smart. All kind things are red. Green, kind things are red. All cold things are smart. If Erin is cold and Erin is smart then Erin is red. Red, furry things are smart.
Erin is not green.