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