If we buy a cat, we do not have to travel by bus.
Если мы купим кошку, нам не придется ехать на автобусе.
Здесь используется условное предложение, чтобы указать на условие, при котором что-то изменится. В условной части используется Present Simple, а в главной части – модальный глагол.
Ответ: do not have to