「「もし「申告しない」ということは成り立つとしたら二回転しない」物はある」ということは成り立たない
fact1: 仮にこの砂漠化は申告しないなら「それは二回転する」ということは正しい fact2: 仮に何かは申告するとすると二回転しない fact3: 「もし仮に申告するとすると二回転しない」ものはある fact4: もし仮に「この砂漠化は申告する」ということは成り立つとすれば二回転しない fact5: 何らかのものが申告しないならばそれは二回転しない fact6: 仮になにがしかの物が申告しないとすれば二回転する fact7: 「仮に気安くないとすると「最終判断である」ということは真実である」ものはある fact8: 「もしも申告しないとすると二回転する」ものはある fact9: もし仮になにかはキャンセルしないとすれば「それは忍耐強くない」ということは成り立つ
fact5 -> int1: この砂漠化が申告しないとしたら二回転しない; int1 -> hypothesis;
$facts$ = fact1: 仮にこの砂漠化は申告しないなら「それは二回転する」ということは正しい fact2: 仮に何かは申告するとすると二回転しない fact3: 「もし仮に申告するとすると二回転しない」ものはある fact4: もし仮に「この砂漠化は申告する」ということは成り立つとすれば二回転しない fact5: 何らかのものが申告しないならばそれは二回転しない fact6: 仮になにがしかの物が申告しないとすれば二回転する fact7: 「仮に気安くないとすると「最終判断である」ということは真実である」ものはある fact8: 「もしも申告しないとすると二回転する」ものはある fact9: もし仮になにかはキャンセルしないとすれば「それは忍耐強くない」ということは成り立つ ; $hypothesis$ = 「「もし「申告しない」ということは成り立つとしたら二回転しない」物はある」ということは成り立たない ; $proof$ = 
fact5 -> int1: この砂漠化が申告しないとしたら二回転しない; int1 -> hypothesis; __DISPROVED__
事実1: 仮にこの砂漠化は申告しないなら「それは二回転する」ということは正しい
事実2: 仮に何かは申告するとすると二回転しない
事実3: 「もし仮に申告するとすると二回転しない」ものはある
事実4: もし仮に「この砂漠化は申告する」ということは成り立つとすれば二回転しない
事実5: 何らかのものが申告しないならばそれは二回転しない
事実6: 仮になにがしかの物が申告しないとすれば二回転する
事実7: 「仮に気安くないとすると「最終判断である」ということは真実である」ものはある
事実8: 「もしも申告しないとすると二回転する」ものはある
事実9: もし仮になにかはキャンセルしないとすれば「それは忍耐強くない」ということは成り立つ

仮説: 「「もし「申告しない」ということは成り立つとしたら二回転しない」物はある」ということは成り立たない
1. 事実5から、推論1: "この砂漠化が申告しないとしたら二回転しない"が導かれる
2. 推論1から、仮説が否定される

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