Ну вот я к ней и отношусь умозрительно. Читаю условия задачи - упс! Подвох! Переформулировала на "трамвай остановится, если бросить на пути очень толстого человека, который стоит на мосту" - это, согласитесь, выглядит несколько по-другому, чем исходная формулировка "оказавшийся на мосту над путями Фрэнк думает, что остановить его можно, бросив на пути что-то очень крупное. Единственный подходящий для этого объект — очень толстый человек, который тоже стоит на мосту." Хотя все равно остается конкретика: рычаг - механическая система, и на 99,99% известно, что будет, если его перевести. А сброс с моста - такой определенности нет. А если мимо рельсов промахнется? Все равно не получается абстрактной логической задачи.