Bob is not red. Charlie is big. Dave is big. Fiona is red. If someone is not kind then they are round. If someone is smart then they are not round. All kind, furry people are not big. If someone is big and not kind then they are red. All smart people are blue. Kind, round people are big. If Dave is big then Dave is not furry. If someone is furry and not round then they are red.
Dave is not big.