「その各人別は深め合う」ということは事実だ
fact1: この穂波は立ち去らない fact2: この穂波は逃げ果せる fact3: この穂波はニューヨーク・タイムズ紙であるが立ち去らない fact4: この穂波はニューヨーク・タイムズ紙であるけれど立ち去るということはないならそれは処刑場である fact5: 仮に「処刑場であるし更に逃げ果せる」物があるとしたらその各人別は深め合わない
fact4 & fact3 -> int1: この穂波は処刑場である; int1 & fact2 -> int2: この穂波は処刑場でその上それは逃げ果せる; int2 -> int3: なにがしかのものは処刑場だし更に逃げ果せる; int3 & fact5 -> hypothesis;
$facts$ = fact1: この穂波は立ち去らない fact2: この穂波は逃げ果せる fact3: この穂波はニューヨーク・タイムズ紙であるが立ち去らない fact4: この穂波はニューヨーク・タイムズ紙であるけれど立ち去るということはないならそれは処刑場である fact5: 仮に「処刑場であるし更に逃げ果せる」物があるとしたらその各人別は深め合わない ; $hypothesis$ = 「その各人別は深め合う」ということは事実だ ; $proof$ = 
fact4 & fact3 -> int1: この穂波は処刑場である; int1 & fact2 -> int2: この穂波は処刑場でその上それは逃げ果せる; int2 -> int3: なにがしかのものは処刑場だし更に逃げ果せる; int3 & fact5 -> hypothesis; __DISPROVED__
事実1: この穂波は立ち去らない
事実2: この穂波は逃げ果せる
事実3: この穂波はニューヨーク・タイムズ紙であるが立ち去らない
事実4: この穂波はニューヨーク・タイムズ紙であるけれど立ち去るということはないならそれは処刑場である
事実5: 仮に「処刑場であるし更に逃げ果せる」物があるとしたらその各人別は深め合わない

仮説: 「その各人別は深め合う」ということは事実だ
1. 事実4と事実3から、推論1: "この穂波は処刑場である"が導かれる
2. 推論1と事実2から、推論2: "この穂波は処刑場でその上それは逃げ果せる"が導かれる
3. 推論2から、推論3: "なにがしかのものは処刑場だし更に逃げ果せる"が導かれる
4. 推論3と事実5から、仮説が否定される

よって、仮説が否定されました。