Dave is furry. Dave is nice. Dave is red. Dave is round. Dave is smart. Dave is young. Gary is big. Gary is nice. Gary is round. Gary is young. If someone is big then they are smart. If someone is round then they are nice. Smart, round people are red. All big, furry people are red. Smart people are young. Big, red people are smart. If Gary is red then Gary is round. If someone is young and big then they are furry.
Dave is not furry.