「「「咲き終わらないけど扱い易い」ということは事実でないとすると捕らえ難くない」物はある」ということは成り立たない
fact1: 「もし仮に「特捜班であるということはないがプレー出来る」ということは成り立たないなら「御恥ずかしくない」ということは成り立つ」ものはある fact2: 仮に「何かは咲き終わらないけどそれは扱い易い」ということは成り立たないならそれは捕らえ難くない fact3: 「もしも「細分化しないけど心深し」ということは事実と異なるならぐるぐるする」ものはある fact4: 「もし扱い易くないとすれば捕らえ難いということはない」物はある
fact2 -> int1: もしも「あの向山洋一著は咲き終わらないがしかしそれは扱い易い」ということは間違いだとしたら「それは捕らえ難くない」ということは成り立つ; int1 -> hypothesis;
$facts$ = fact1: 「もし仮に「特捜班であるということはないがプレー出来る」ということは成り立たないなら「御恥ずかしくない」ということは成り立つ」ものはある fact2: 仮に「何かは咲き終わらないけどそれは扱い易い」ということは成り立たないならそれは捕らえ難くない fact3: 「もしも「細分化しないけど心深し」ということは事実と異なるならぐるぐるする」ものはある fact4: 「もし扱い易くないとすれば捕らえ難いということはない」物はある ; $hypothesis$ = 「「「咲き終わらないけど扱い易い」ということは事実でないとすると捕らえ難くない」物はある」ということは成り立たない ; $proof$ = 
fact2 -> int1: もしも「あの向山洋一著は咲き終わらないがしかしそれは扱い易い」ということは間違いだとしたら「それは捕らえ難くない」ということは成り立つ; int1 -> hypothesis; __DISPROVED__
事実1: 「もし仮に「特捜班であるということはないがプレー出来る」ということは成り立たないなら「御恥ずかしくない」ということは成り立つ」ものはある
事実2: 仮に「何かは咲き終わらないけどそれは扱い易い」ということは成り立たないならそれは捕らえ難くない
事実3: 「もしも「細分化しないけど心深し」ということは事実と異なるならぐるぐるする」ものはある
事実4: 「もし扱い易くないとすれば捕らえ難いということはない」物はある

仮説: 「「「咲き終わらないけど扱い易い」ということは事実でないとすると捕らえ難くない」物はある」ということは成り立たない
1. 事実2から、推論1: "もしも「あの向山洋一著は咲き終わらないがしかしそれは扱い易い」ということは間違いだとしたら「それは捕らえ難くない」ということは成り立つ"が導かれる
2. 推論1から、仮説が否定される

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