Bob is red. Charlie is not kind. Gary is red. Harry is furry. All furry things are blue. If something is cold then it is rough. If something is furry and not kind then it is not nice. If something is furry then it is cold. If something is not kind then it is blue. All kind things are red. If something is not cold then it is blue. If Gary is not nice and Gary is not blue then Gary is not kind.
Bob is not nice.