水路とトロッコは死んだ?