Dear,
I am able to do the work for you along with simulation on Proteus if you want. However, I need to know the type of the hall sensor you are using, because some types, such as the latching hall sensor US1881, will detect the existence of the magnet and won't be able to know its absence.