if u cant mute him in channel manually then u cant do it automaticly, if hes an op, i would say only another op could deal to him likely just banning his address, also by the time you see his reply, hes said it, if your cathing the text hes catching, well hes likely gonna send to channel before you could mute him even if it was possable.