Anne is smart. Anne is young. Bob is green. Bob is rough. Bob is young. Dave is big. Dave is not cold. Dave is not green. Dave is not smart. Dave is young. Erin is cold. Erin is young. Cold people are green. If someone is furry and big then they are green.
Dave is not cold.