Anne is big. Anne is blue. Anne is furry. Anne is red. Anne is round. Anne is smart. Charlie is big. Charlie is smart. Dave is quiet. Dave is red. Dave is round. Erin is big. Erin is blue. Erin is smart. All blue, quiet people are big. Smart, furry people are blue. Quiet people are furry. If Charlie is round then Charlie is furry. If someone is smart and blue then they are quiet. If Charlie is red then Charlie is round. All big people are red. Furry people are round.
Erin is not round.