Anne is not white. Bob is not smart. Bob is white. If something is rough and white then it is smart. If something is green then it is cold. Green things are white. If something is rough and white then it is green. If something is nice and not rough then it is cold. If Bob is cold and Bob is green then Bob is smart. If something is white and not green then it is big. If something is rough and not big then it is nice.
Bob is rough.