Variant of defrule that disables the theorem afterwards.
This is identical to defrule except that the theorem is generated using defthmd instead of defthm.