Bob is big. Charlie is green. Dave is big. Harry is blue. All nice things are green. If Dave is not quiet and Dave is not blue then Dave is young. If Charlie is not cold then Charlie is not quiet. If Bob is big and Bob is not green then Bob is young. If something is big and not young then it is nice. If something is cold and not young then it is not quiet.
Charlie is big.