Anne is cold. Anne is kind. Anne is round. Anne is smart. Bob is cold. Bob is round. Bob is smart. Bob is white. Dave is red. Fiona is white. If Dave is red then Dave is smart. If someone is round and rough then they are white. If Bob is cold then Bob is rough. Smart people are cold. All kind people are rough. Cold, red people are kind. All red, kind people are rough. Rough people are cold. If someone is cold then they are round.
Dave is not white.