Anne is big. Anne is furry. Anne is rough. Erin is furry. Erin is red. Erin is rough. Erin is round. Fiona is red. Fiona is young. Harry is rough. If something is rough and smart then it is furry. All red, rough things are big. Smart, furry things are round. Rough things are young. All furry, big things are red. All furry, big things are smart. Rough things are furry. If Erin is big and Erin is young then Erin is smart. All young things are red.
Anne is not big.