Charlie is big. Charlie is blue. Charlie is kind. Dave is big. Dave is blue. Dave is furry. Erin is blue. Erin is cold. Erin is furry. Harry is blue. Blue things are cold. Red, furry things are blue. Red, cold things are big. All kind things are big. All cold, blue things are furry. If Harry is blue and Harry is big then Harry is quiet. All quiet, big things are blue. If Erin is furry and Erin is blue then Erin is big. Cold, furry things are red.
Dave is not red.