Bob is quiet. Bob is not smart. Dave is green. Dave is nice. Dave is quiet. Dave is rough. Gary is cold. Gary is green. Gary is nice. Gary is white. Harry is nice. Harry is not white. If Harry is not cold then Harry is green. All smart people are nice. All cold, rough people are white. If someone is nice then they are green. If Gary is rough then Gary is not smart. If someone is quiet and not cold then they are nice. Rough people are nice. If Gary is not white and Gary is not green then Gary is not rough.
Bob is not green.