Bob is nice. Charlie is furry. Charlie is not green. Charlie is nice. Gary is kind. Harry is red. Harry is round. If Gary is nice then Gary is red. If someone is not nice then they are not green. Nice people are red. If Bob is green and Bob is not nice then Bob is round. Red people are kind. If someone is kind then they are not green.
Bob is not green.