Bob is cold. Bob is green. Bob is kind. Bob is quiet. Bob is rough. Bob is smart. Bob is young. Dave is cold. Dave is green. Dave is smart. Harry is cold. Harry is green. Harry is quiet. Harry is smart. Harry is young. Green people are young. All cold people are kind. Kind, smart people are rough. If Dave is smart and Dave is green then Dave is rough. If someone is quiet and kind then they are cold. Quiet people are kind. If Harry is young and Harry is quiet then Harry is smart. Green people are kind.
Bob is not smart.