Anne is cold. Anne is green. Anne is round. Anne is smart. Anne is white. Anne is young. Bob is cold. Bob is furry. Bob is white. Bob is young. If Bob is round and Bob is cold then Bob is young. Round, smart things are white. If Anne is cold and Anne is white then Anne is green. If something is cold and green then it is round. If Anne is cold and Anne is furry then Anne is round. If something is young and green then it is white.
Bob is not white.