Увы. Решение судьи формально правильно и в полном соответствии с правилами.
Но! В правилах еще и есть важное определение: "кроме случая, когда использованная сила была
незначительной".
Правило 12. (стр.110 и далее)
"Нарушения, наказуемые удалением
Игрок, запасной или замененный игрок, который совершит любое из
следующих нарушений, удаляется с поля:
...
• ведет себя агрессивно
...
Агрессивное поведение
Агрессивное поведение – это действие, в котором игрок использует или
пытается использовать чрезмерную силу или жестокость против соперника,
когда не борется за мяч, или против партнера по команде, официального лица
команды, официального лица матча, зрителя или любого другого лица,
независимо от того, имел ли место контакт.
В дополнение к этому игрок, который не борется за мяч и умышленно бьет
соперника или любое другое лицо по голове или по лицу рукой, виновен в
агрессивном поведении, кроме случая, когда использованная сила была
незначительной."