Charlie is not blue. Charlie is not furry. Erin is not furry. Erin is green. Erin is not young. Fiona is big. Fiona is blue. Fiona is furry. Fiona is green. Fiona is red. Fiona is smart. Fiona is young. If Charlie is not green then Charlie is not red. Big, young things are red. All smart, furry things are red.
Erin is not red.