Anne is big. Anne is blue. Anne is quiet. Bob is blue. Bob is quiet. Charlie is blue. Charlie is round. Erin is big. Erin is blue. Erin is furry. Erin is round. Erin is smart. Round, quiet things are big. All green things are quiet. If something is big and smart then it is furry. All green, furry things are smart. Big things are smart. If something is green and furry then it is blue. All round things are green. If something is blue and not quiet then it is furry.
Erin is not green.