Bob is big. Bob is red. Bob is smart. Erin is furry. Erin is green. Erin is quiet. Fiona is big. Fiona is furry. Fiona is green. Fiona is smart. Gary is big. Gary is young. All red, quiet things are young. All quiet, big things are furry. If Erin is young and Erin is smart then Erin is big. If something is green and furry then it is red. All big things are green. All quiet, furry things are smart. Quiet, furry things are red. All young, smart things are furry.
Erin is not young.