あの抜爪は伝声管であるけど捕まえない
fact1: とある物は私刑であるか握り込まないかまたは両方ともだ fact2: あの抜爪は捕まえないならば「この田端支部は有り難いかもしくは所狭しということはない」ということは成り立たない fact3: 仮にこの田端支部は捕まえるとしたら「あの抜爪は伝声管である一方で捕まえない」ということは成り立たない fact4: あの企業間関係が伝声管であるけれど観闇でないならこの山脈は捕まえる fact5: もし仮にこの山脈が捕まえるとすればあの抜爪は捕まえるということはない fact6: もし仮に「「私刑であるかまたは握り込まないかあるいは両方ともである」ということは確かでない」物があるとすればこの田端支部は捕まえる fact7: 「「私刑であるか握り込まないかどちらもだ」ということは成り立たない」物はある fact8: もし仮にとあるものが成り果てないならばそれは伝声管であるしかつそれは観闇でない
fact7 & fact6 -> int1: この田端支部は捕まえる; int1 & fact3 -> hypothesis;
「「有り難いかあるいは所狭しということはないかまたは両方ともである」ということは成り立たない」ものはある
fact9 -> int2: もしあの企業間関係が成り果てないとしたら伝声管だけれど観闇でない;
$facts$ = fact1: とある物は私刑であるか握り込まないかまたは両方ともだ fact2: あの抜爪は捕まえないならば「この田端支部は有り難いかもしくは所狭しということはない」ということは成り立たない fact3: 仮にこの田端支部は捕まえるとしたら「あの抜爪は伝声管である一方で捕まえない」ということは成り立たない fact4: あの企業間関係が伝声管であるけれど観闇でないならこの山脈は捕まえる fact5: もし仮にこの山脈が捕まえるとすればあの抜爪は捕まえるということはない fact6: もし仮に「「私刑であるかまたは握り込まないかあるいは両方ともである」ということは確かでない」物があるとすればこの田端支部は捕まえる fact7: 「「私刑であるか握り込まないかどちらもだ」ということは成り立たない」物はある fact8: もし仮にとあるものが成り果てないならばそれは伝声管であるしかつそれは観闇でない ; $hypothesis$ = あの抜爪は伝声管であるけど捕まえない ; $proof$ = 
fact7 & fact6 -> int1: この田端支部は捕まえる; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: とある物は私刑であるか握り込まないかまたは両方ともだ
事実2: あの抜爪は捕まえないならば「この田端支部は有り難いかもしくは所狭しということはない」ということは成り立たない
事実3: 仮にこの田端支部は捕まえるとしたら「あの抜爪は伝声管である一方で捕まえない」ということは成り立たない
事実4: あの企業間関係が伝声管であるけれど観闇でないならこの山脈は捕まえる
事実5: もし仮にこの山脈が捕まえるとすればあの抜爪は捕まえるということはない
事実6: もし仮に「「私刑であるかまたは握り込まないかあるいは両方ともである」ということは確かでない」物があるとすればこの田端支部は捕まえる
事実7: 「「私刑であるか握り込まないかどちらもだ」ということは成り立たない」物はある
事実8: もし仮にとあるものが成り果てないならばそれは伝声管であるしかつそれは観闇でない

仮説: あの抜爪は伝声管であるけど捕まえない
1. 事実7と事実6から、推論1: "この田端支部は捕まえる"が導かれる
2. 推論1と事実3から、仮説が否定される

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