Anne is smart. Charlie is not cold. Charlie is green. Charlie is kind. Dave is green. Dave is white. Harry is cold. All cold people are white. If someone is white and cold then they are green. All smart people are rough. If someone is green and kind then they are rough. If someone is rough and white then they are quiet. Green people are rough. Green people are white. All quiet people are smart. If someone is not smart then they are white.
Charlie is cold.