Bob is kind. Charlie is not rough. Gary is not red. Gary is rough. Gary is smart. Harry is not cold. Harry is rough. If Harry is rough then Harry is kind. If someone is smart and not cold then they are not blue. If someone is kind and not cold then they are smart. If Harry is furry and Harry is not rough then Harry is not blue. If someone is red and kind then they are furry. Blue people are not kind.
Charlie is not smart.