By studying subjunctive mood, we can know that the basis of using subjunctive mood in the main sentence is If than not, and because contrary to the past facts, the predicate verb form of the main sentence is would have gone.