Dave is blue. Dave is green. Dave is kind. Erin is cold. Erin is green. Erin is kind. Erin is smart. If someone is green then they are cold. All furry, cold people are white. All furry people are smart. Cold people are white. If Erin is green then Erin is blue. Green, furry people are smart.
Dave is not smart.