Anne is cold. Anne is white. Bob is kind. Charlie is rough. Charlie is white. Harry is kind. Harry is round. If something is kind and not white then it is not rough. If Anne is white then Anne is smart. If Bob is round then Bob is rough.
Bob is not cold.