Anne is furry. Charlie is quiet. Dave is blue. If Charlie is not round then Charlie is not blue. If someone is big and not round then they are young. Blue, green people are young. All young, furry people are blue. If someone is blue and big then they are furry. All young people are blue. If someone is blue then they are big. If Anne is not quiet and Anne is not blue then Anne is furry.
Dave is not big.