橋の通りにランナーを持つ男は運動を実行していること