Anne is quiet. Anne is smart. Charlie is furry. Charlie is round. Charlie is smart. Dave is furry. Dave is round. Erin is not furry. Erin is not kind. Erin is smart. Quiet, green things are red. All kind, furry things are green. If Dave is smart and Dave is round then Dave is green. If something is kind then it is quiet. Green things are kind. Quiet things are green. If something is furry then it is smart. If Anne is kind and Anne is not green then Anne is round. If something is furry and not kind then it is round.
Anne is not quiet.