Anne is cold. Anne is nice. Dave is cold. Dave is white. Erin is nice. Erin is not red. Erin is smart. Erin is white. Harry is not smart. Harry is white. If Harry is cold and Harry is kind then Harry is smart. If something is kind then it is not red. White things are not kind. If Anne is white and Anne is kind then Anne is cold. Furry, smart things are white. If something is smart and not furry then it is not red.
Dave is cold.