Anne is big. Anne is cold. Anne is nice. Anne is not rough. Anne is young. Bob is cold. Bob is nice. Bob is smart. Bob is white. Charlie is nice. If something is big and nice then it is young. Cold things are young. Cold things are nice. If something is young and not white then it is nice. All young things are smart. If something is not nice then it is smart.
Anne is not cold.