Dave is cold. Dave is green. Dave is kind. Dave is nice. Dave is smart. Dave is white. Dave is young. Erin is cold. Erin is green. Erin is kind. Erin is nice. Erin is smart. Erin is white. Erin is young. All smart things are young. If Erin is green then Erin is cold.
Erin is not smart.