Я думаю, что предположение похода в библиотеку может существовать только в будущем времени, следовательно уместно было бы использовать future simple. Но в правильных ответах используется present simple:Если он не пойдёт в библиотеку, он будет дома.
If he does not go to the library, he will be at home.
Объясните пожалуйста в чём я ошибаюсь.