Czerwony żąda miejsca do zwrotu. Niebieski wykonuje natychmiast zwrot,
zgodnie z przepisem 20.2(c).
Czerwony czeka zbyt długo ze zwrotem, przez co narusza przepis
20.2(d), który wymaga, aby wykonał zwrot najszybciej jak to możliwe.
Wynika stąd, że Czerwony zostanie ukarany.