Anne is not cold. Anne is nice. Anne is young. Bob is cold. Bob is green. Bob is nice. Bob is not rough. Bob is not round. Bob is smart. Bob is young. All smart things are cold. If Anne is not nice then Anne is not smart. If Anne is round then Anne is young. If something is not young and not nice then it is round. If something is round and not young then it is not green. If Bob is not round then Bob is cold.
Bob is not young.