「その決定等は到達でないがしかし着陸する」ということは真実であるということはない
fact1: 仮に「あの新規蒔き直しは厚ぼったいかあるいは安くないかもしくはどちらもだ」ということは成り立つということはないならばあの二日深夜は成し難くない fact2: あの新規蒔き直しは着陸すれば「「その決定等は到達でない一方で着陸する」ということは間違っている」ということは成り立つ fact3: 「「縮減する一方で邪魔臭くない」ということは偽である」物はある fact4: もしもあの二日深夜が到達でないとすればその決定等は揺れである fact5: もし仮になにがしかの物が成し難くないとすればそれが揺れだしそれは勘違いし易い fact6: 仮にあの二日深夜が揺れならばその決定等は到達だということはないが着陸する fact7: 「「縮減するし更に邪魔臭くない」ということは嘘である」物があるとするとあの二日深夜は揺れでない fact8: あの新規蒔き直しは揺れでない fact9: 「到達でしかも揺れでない」ものはある fact10: 「「縮減するし加えて邪魔臭い」ということは成り立たない」物はある fact11: あの二日深夜は揺れなら「その決定等は着陸するしおまけにそれは揺れだ」ということは偽だ fact12: もし仮にあの二日深夜は揺れだとしたら「あの新規蒔き直しは着陸するということはない一方でそれは揺れである」ということは偽である fact13: 仮にその決定等は到達だとすれば「あの二日深夜は揺れであるということはないがそれは到達である」ということは間違いだ fact14: もし仮にあの二日深夜が揺れでないとするとあの新規蒔き直しは着陸する fact15: もし仮にあの新規蒔き直しは揺れでないなら「あの二日深夜は頼み難いけど安値世界一でない」ということは間違いだ fact16: 「「その決定等は着陸しないけど揺れである」ということは成り立たない」ということは成り立つ fact17: 「「揺れで着陸する」ということは成り立つということはない」物はある fact18: あの二日深夜はテレビニュースだ fact19: もし仮に「「到達である一方で着陸しない」ということは成り立たない」物があるとするとあの新規蒔き直しは揺れでない
fact3 & fact7 -> int1: あの二日深夜は揺れであるということはない; int1 & fact14 -> int2: あの新規蒔き直しは着陸する; int2 & fact2 -> hypothesis;
その決定等は到達であるということはない一方でそれは着陸する
fact21 -> int3: もし仮にあの二日深夜は成し難くないとしたら「揺れだしまた勘違いし易い」ということは真実である;
$facts$ = fact1: 仮に「あの新規蒔き直しは厚ぼったいかあるいは安くないかもしくはどちらもだ」ということは成り立つということはないならばあの二日深夜は成し難くない fact2: あの新規蒔き直しは着陸すれば「「その決定等は到達でない一方で着陸する」ということは間違っている」ということは成り立つ fact3: 「「縮減する一方で邪魔臭くない」ということは偽である」物はある fact4: もしもあの二日深夜が到達でないとすればその決定等は揺れである fact5: もし仮になにがしかの物が成し難くないとすればそれが揺れだしそれは勘違いし易い fact6: 仮にあの二日深夜が揺れならばその決定等は到達だということはないが着陸する fact7: 「「縮減するし更に邪魔臭くない」ということは嘘である」物があるとするとあの二日深夜は揺れでない fact8: あの新規蒔き直しは揺れでない fact9: 「到達でしかも揺れでない」ものはある fact10: 「「縮減するし加えて邪魔臭い」ということは成り立たない」物はある fact11: あの二日深夜は揺れなら「その決定等は着陸するしおまけにそれは揺れだ」ということは偽だ fact12: もし仮にあの二日深夜は揺れだとしたら「あの新規蒔き直しは着陸するということはない一方でそれは揺れである」ということは偽である fact13: 仮にその決定等は到達だとすれば「あの二日深夜は揺れであるということはないがそれは到達である」ということは間違いだ fact14: もし仮にあの二日深夜が揺れでないとするとあの新規蒔き直しは着陸する fact15: もし仮にあの新規蒔き直しは揺れでないなら「あの二日深夜は頼み難いけど安値世界一でない」ということは間違いだ fact16: 「「その決定等は着陸しないけど揺れである」ということは成り立たない」ということは成り立つ fact17: 「「揺れで着陸する」ということは成り立つということはない」物はある fact18: あの二日深夜はテレビニュースだ fact19: もし仮に「「到達である一方で着陸しない」ということは成り立たない」物があるとするとあの新規蒔き直しは揺れでない ; $hypothesis$ = 「その決定等は到達でないがしかし着陸する」ということは真実であるということはない ; $proof$ = 
fact3 & fact7 -> int1: あの二日深夜は揺れであるということはない; int1 & fact14 -> int2: あの新規蒔き直しは着陸する; int2 & fact2 -> hypothesis; __PROVED__
事実1: 仮に「あの新規蒔き直しは厚ぼったいかあるいは安くないかもしくはどちらもだ」ということは成り立つということはないならばあの二日深夜は成し難くない
事実2: あの新規蒔き直しは着陸すれば「「その決定等は到達でない一方で着陸する」ということは間違っている」ということは成り立つ
事実3: 「「縮減する一方で邪魔臭くない」ということは偽である」物はある
事実4: もしもあの二日深夜が到達でないとすればその決定等は揺れである
事実5: もし仮になにがしかの物が成し難くないとすればそれが揺れだしそれは勘違いし易い
事実6: 仮にあの二日深夜が揺れならばその決定等は到達だということはないが着陸する
事実7: 「「縮減するし更に邪魔臭くない」ということは嘘である」物があるとするとあの二日深夜は揺れでない
事実8: あの新規蒔き直しは揺れでない
事実9: 「到達でしかも揺れでない」ものはある
事実10: 「「縮減するし加えて邪魔臭い」ということは成り立たない」物はある
事実11: あの二日深夜は揺れなら「その決定等は着陸するしおまけにそれは揺れだ」ということは偽だ
事実12: もし仮にあの二日深夜は揺れだとしたら「あの新規蒔き直しは着陸するということはない一方でそれは揺れである」ということは偽である
事実13: 仮にその決定等は到達だとすれば「あの二日深夜は揺れであるということはないがそれは到達である」ということは間違いだ
事実14: もし仮にあの二日深夜が揺れでないとするとあの新規蒔き直しは着陸する
事実15: もし仮にあの新規蒔き直しは揺れでないなら「あの二日深夜は頼み難いけど安値世界一でない」ということは間違いだ
事実16: 「「その決定等は着陸しないけど揺れである」ということは成り立たない」ということは成り立つ
事実17: 「「揺れで着陸する」ということは成り立つということはない」物はある
事実18: あの二日深夜はテレビニュースだ
事実19: もし仮に「「到達である一方で着陸しない」ということは成り立たない」物があるとするとあの新規蒔き直しは揺れでない

仮説: 「その決定等は到達でないがしかし着陸する」ということは真実であるということはない
1. 事実3と事実7から、推論1: "あの二日深夜は揺れであるということはない"が導かれる
2. 推論1と事実14から、推論2: "あの新規蒔き直しは着陸する"が導かれる
3. 推論2と事実2から、仮説が導かれる

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