Charlie is furry. Charlie is smart. Dave is big. Dave is not red. Dave is not round. Fiona is furry. Fiona is red. If someone is red then they are big. Smart people are furry. If someone is not smart then they are green. Red people are big. Rough, furry people are round. If someone is rough and not smart then they are round. If someone is not big then they are round. If someone is round and not green then they are rough.
Dave is not red.