Charlie is quiet. Dave is big. Dave is blue. Dave is furry. Dave is not nice. Erin is big. Erin is blue. Erin is furry. Erin is smart. Harry is blue. Harry is furry. All red, blue people are smart. Blue, big people are red. All quiet, big people are blue. All quiet people are nice. All quiet, nice people are big. All red, furry people are smart. If someone is furry and not big then they are smart.
Dave is not quiet.