「そのフレーム内は多脚戦車だがしかし撤兵しない」ということは成り立たない
fact1: 「そのフレーム内は多脚戦車であるしさらにそれは撤兵する」ということは事実と異なる fact2: もし何らかの物は忍び難いとすると「そのフレーム内は多脚戦車だし更に撤兵する」ということは成り立つということはない fact3: もしも「「下部組織であるし更に忍び難くない」ということは成り立たない」ものがあるとするとそのフレーム内は忍び難い fact4: なんらかのものは撤兵する fact5: 仮に「忍び難い」物はあれば「そのフレーム内は多脚戦車であるがしかしそれは撤兵しない」ということは偽である fact6: 「「忍び難い」ということは事実な」ものはある fact7: 「多脚戦車な」物はある fact8: 「あの砂滑は解列する一方でそれは恰幅でない」ということは成り立たない fact9: もし仮に「打診する」物はあるとすると「「その飼料は忍び難いしＨオールドである」ということは真実である」ということは誤りだ fact10: 仮に「何かは忍び難いしかつそれは下部組織だ」ということは誤っていれば忍び難くない
fact6 & fact5 -> hypothesis;
fact6 & fact5 -> hypothesis;
そのフレーム内は多脚戦車だ一方で撤兵しない
fact11 -> int1: もし「そのフレーム内は忍び難くてまた下部組織だ」ということは成り立たないならば忍び難くない;
$facts$ = fact1: 「そのフレーム内は多脚戦車であるしさらにそれは撤兵する」ということは事実と異なる fact2: もし何らかの物は忍び難いとすると「そのフレーム内は多脚戦車だし更に撤兵する」ということは成り立つということはない fact3: もしも「「下部組織であるし更に忍び難くない」ということは成り立たない」ものがあるとするとそのフレーム内は忍び難い fact4: なんらかのものは撤兵する fact5: 仮に「忍び難い」物はあれば「そのフレーム内は多脚戦車であるがしかしそれは撤兵しない」ということは偽である fact6: 「「忍び難い」ということは事実な」ものはある fact7: 「多脚戦車な」物はある fact8: 「あの砂滑は解列する一方でそれは恰幅でない」ということは成り立たない fact9: もし仮に「打診する」物はあるとすると「「その飼料は忍び難いしＨオールドである」ということは真実である」ということは誤りだ fact10: 仮に「何かは忍び難いしかつそれは下部組織だ」ということは誤っていれば忍び難くない ; $hypothesis$ = 「そのフレーム内は多脚戦車だがしかし撤兵しない」ということは成り立たない ; $proof$ = 
fact6 & fact5 -> hypothesis; __PROVED__
事実1: 「そのフレーム内は多脚戦車であるしさらにそれは撤兵する」ということは事実と異なる
事実2: もし何らかの物は忍び難いとすると「そのフレーム内は多脚戦車だし更に撤兵する」ということは成り立つということはない
事実3: もしも「「下部組織であるし更に忍び難くない」ということは成り立たない」ものがあるとするとそのフレーム内は忍び難い
事実4: なんらかのものは撤兵する
事実5: 仮に「忍び難い」物はあれば「そのフレーム内は多脚戦車であるがしかしそれは撤兵しない」ということは偽である
事実6: 「「忍び難い」ということは事実な」ものはある
事実7: 「多脚戦車な」物はある
事実8: 「あの砂滑は解列する一方でそれは恰幅でない」ということは成り立たない
事実9: もし仮に「打診する」物はあるとすると「「その飼料は忍び難いしＨオールドである」ということは真実である」ということは誤りだ
事実10: 仮に「何かは忍び難いしかつそれは下部組織だ」ということは誤っていれば忍び難くない

仮説: 「そのフレーム内は多脚戦車だがしかし撤兵しない」ということは成り立たない
1. 事実6と事実5から、仮説が導かれる

よって、仮説が証明されました。