Charlie is green. Dave is green. Erin is nice. Harry is nice. All cold people are young. If someone is cold and young then they are rough. White people are young. Nice people are cold. All young people are green. Cold people are red. If someone is white and rough then they are cold. Nice people are white.
Dave is not nice.