A Nonmonotonic Assumption-Based TMS Using Stable Bases