Anne is big. Anne is furry. Anne is rough. Anne is smart. Anne is young. Charlie is big. Charlie is furry. Charlie is green. Charlie is nice. Charlie is rough. Charlie is smart. Charlie is young. Erin is furry. Erin is nice. Erin is rough. Gary is furry. If Erin is nice then Erin is green. If something is furry then it is young. If something is green then it is smart. Young things are rough. All young, smart things are nice. All big, nice things are green. If Erin is smart and Erin is green then Erin is nice. Big, young things are nice. Young, furry things are big.
Erin is not big.