Dave is kind. Erin is green. Smart, kind people are blue. Green, red people are kind. All kind, nice people are blue. If someone is green then they are red. Blue, kind people are nice. If Erin is big and Erin is red then Erin is kind.
Dave is not smart.