Anne is big. Anne is furry. Dave is big. Dave is furry. Dave is not kind. Erin is furry. Erin is kind. Erin is rough. Erin is round. Erin is smart. Harry is kind. Harry is smart. If something is round then it is kind. All blue, rough things are smart. Blue things are furry. If something is round and big then it is rough. Smart things are big. Big things are blue. All smart, furry things are round. If something is round and not rough then it is blue.
Dave is not blue.