Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic