Bob is big. Charlie is green. Charlie is young. Dave is blue. Dave is not rough. Dave is not young. Harry is cold. If Dave is cold and Dave is big then Dave is not rough. If someone is kind and not big then they are green. All cold, kind people are blue. If Charlie is not rough then Charlie is cold. If someone is young and cold then they are kind. If Bob is not green then Bob is not rough.
Harry is not big.