В данной ситуации со стороны логики и правил модератор, конечно, не прав. Но нужно же учитывать человеческий фактор. Бот в данном случае, следуя правилам, просто выдал бы мут, даже если он не заслуженный. А модератор затем и нужен, чтобы оценить ситуацию, как человек, и уже решить, заслуживает ли наказания нарушитель, или нарушение было незначительным. Так что по правилам, действительно, нужно подать жалобу, но в реальности это бессмысленно.