У меня есть тривиальный контрпример для (а): Три отрезка, пересекаются в вершинах треугольника (плюс небольшие хвосты). Сажаем лягушек в вершины, Ивану нужно хлопнуть в ладоши 2 раза. После первого хлопка лягушкам уже стопудово не куда прыгать, они жёстко обламываются по правилу "Лягушки никогда не меняют направления своих прыжков". Иван хлопает второй раз, у лягушек случается InvalidOperationException и система крешится.