Erin is blue. Erin is green. Gary is big. Gary is furry. Gary is smart. Harry is blue. Harry is green. All smart people are furry. Furry, smart people are nice. Smart, furry people are green. Big, smart people are nice. Blue, nice people are green. If someone is nice then they are green. Blue people are big. All furry people are smart.
Gary is smart.