Bob is white. If Bob is green then Bob is not red. If someone is red then they are big. If someone is not quiet then they are white. If Bob is green and Bob is not big then Bob is not smart. If someone is quiet and not white then they are rough. If Bob is green and Bob is not rough then Bob is smart. If someone is not rough then they are not quiet. If Bob is not smart then Bob is red.
Bob is green.