Anne is white. Bob is cold. Dave is cold. Harry is cold. White people are red. Green people are kind. If Bob is kind then Bob is red. If Anne is cold and Anne is kind then Anne is blue. If Dave is cold then Dave is white. All white people are big.
Dave is not big.