Bob is smart. Gary is kind. Harry is smart. Young, blue things are not green. If something is not smart then it is not green. If something is white and not kind then it is not green. Quiet things are white. If something is blue and not quiet then it is white. If Bob is quiet then Bob is blue.
Bob is not smart.