Herbrand consistency of some finite fragments of bounded arithmetical theories