Bob is furry. Charlie is not rough. Quiet, big things are kind. All big things are quiet. If something is cold and not rough then it is not green. If something is not rough then it is big. If something is green then it is not kind. If something is not quiet then it is furry. If Bob is not green and Bob is not big then Bob is not furry. If something is not kind then it is not quiet.
Bob is green.