Anne is cold. Anne is not green. Anne is smart. Bob is smart. Bob is young. Charlie is cold. Charlie is not smart. Harry is big. Harry is cold. Harry is smart. If Bob is quiet then Bob is big. All young, big people are green. If someone is smart and young then they are cold. Cold people are quiet. If someone is green then they are not rough. If someone is green and not quiet then they are young. If someone is not quiet then they are young.
Bob is green.