An intact dead mouse is found in a well, and its time of entry is unknown.
For the well’s current purification the small-animal withdrawal bracket applies, assuming no other overriding condition. For past prayers Abu Hanifa requires a day and night of repetition; Abu Yusuf and Muhammad do not require it without proof of the earlier period.
Present purification and retrospective prayer validity are separate questions.