Variant of defrule that disables the theorem afterwards and makes it local.
This is identical to defrule except that the theorem is generated using defthmd instead of defthm and the :local argument is set to t.
