Anne is not furry. Anne is not nice. Anne is smart. Dave is not blue. Dave is nice. Dave is red. Gary is big. Gary is blue. Gary is not nice. Gary is young. Blue, furry people are smart. If someone is young then they are furry. All nice people are young. If someone is big and not blue then they are nice. If someone is red and not young then they are smart. If someone is smart and not nice then they are red.
Dave is nice.