「もし仮に「陸上ルートでないしさらに持ち難くない」ということは成り立つということはないとすれば支障無いということはない」物はある
fact1: 「もしもその諸事実が甘くなくてそれにそれが陸上ルートだということはないとすればその諸事実は新装開店でない」ということは成り立つ fact2: 「「もし「陸上ルートでないしかつ持ち難いということはない」ということは誤りならば「支障無い」ということは成り立つ」ものはある」ということは正しい fact3: 仮に「何かは人間臭くなくてまた拡大強化しない」ということは誤りだとすると支障無くない fact4: もしもその諸事実が陸上ルートだとするとそれは支障無くない fact5: 「もし陸上ルートでないし持ち難いということはないなら支障無いということはない」ものはある fact6: もし「「その諸事実は陸上ルートでないけれど持ち難い」ということは成り立たない」ということは事実ならそれは支障無くない fact7: 「もし陸上ルートだとすれば支障無くない」ものはある fact8: もし「「その下種はあたふたしなくておまけに取り付けない」ということは確かだ」ということは事実と異なるとしたら持ち難いということはない fact9: 「仮に「陸上ルートであるしさらに持ち難くない」ということは成り立たないとすると支障無くない」物はある fact10: もし仮に「その諸事実は陸上ルートだということはないしそれは持ち難くない」ということは間違いだとすればそれは支障無い fact11: 「もし持ち難いとすれば支障無くない」ものはある fact12: 「もしも「新装開店であるということはなくて予算制約でない」ということは成り立たないとしたらそつ無くない」物はある fact13: もしも「その諸事実は小難しくなくて陸上ルートでない」ということは成り立たないならそれは下げ止まらない fact14: 「その世界線は寄与するということはなくてそれは咲き続けない」ということは誤っているとするとそれは中央集権化しない fact15: 仮に「「その諸事実は陸上ルートでないしさらにそれは持ち難くない」ということは偽だ」ということは事実であるならそれは支障無くない fact16: 「「年少でないししかも炊き込むということはない」ということは偽であるとしたら九以前でない」ものはある fact17: 「もし「陸上ルートでないけれど持ち難い」ということは真実でないならば支障無くない」ものはある
fact15 -> hypothesis;
もし仮に「このアセチルは人間臭くなくてしかも拡大強化しない」ということは間違いであるならばそれは支障無くない
fact18 -> hypothesis;
$facts$ = fact1: 「もしもその諸事実が甘くなくてそれにそれが陸上ルートだということはないとすればその諸事実は新装開店でない」ということは成り立つ fact2: 「「もし「陸上ルートでないしかつ持ち難いということはない」ということは誤りならば「支障無い」ということは成り立つ」ものはある」ということは正しい fact3: 仮に「何かは人間臭くなくてまた拡大強化しない」ということは誤りだとすると支障無くない fact4: もしもその諸事実が陸上ルートだとするとそれは支障無くない fact5: 「もし陸上ルートでないし持ち難いということはないなら支障無いということはない」ものはある fact6: もし「「その諸事実は陸上ルートでないけれど持ち難い」ということは成り立たない」ということは事実ならそれは支障無くない fact7: 「もし陸上ルートだとすれば支障無くない」ものはある fact8: もし「「その下種はあたふたしなくておまけに取り付けない」ということは確かだ」ということは事実と異なるとしたら持ち難いということはない fact9: 「仮に「陸上ルートであるしさらに持ち難くない」ということは成り立たないとすると支障無くない」物はある fact10: もし仮に「その諸事実は陸上ルートだということはないしそれは持ち難くない」ということは間違いだとすればそれは支障無い fact11: 「もし持ち難いとすれば支障無くない」ものはある fact12: 「もしも「新装開店であるということはなくて予算制約でない」ということは成り立たないとしたらそつ無くない」物はある fact13: もしも「その諸事実は小難しくなくて陸上ルートでない」ということは成り立たないならそれは下げ止まらない fact14: 「その世界線は寄与するということはなくてそれは咲き続けない」ということは誤っているとするとそれは中央集権化しない fact15: 仮に「「その諸事実は陸上ルートでないしさらにそれは持ち難くない」ということは偽だ」ということは事実であるならそれは支障無くない fact16: 「「年少でないししかも炊き込むということはない」ということは偽であるとしたら九以前でない」ものはある fact17: 「もし「陸上ルートでないけれど持ち難い」ということは真実でないならば支障無くない」ものはある ; $hypothesis$ = 「もし仮に「陸上ルートでないしさらに持ち難くない」ということは成り立つということはないとすれば支障無いということはない」物はある ; $proof$ = 
fact15 -> hypothesis; __PROVED__
事実1: 「もしもその諸事実が甘くなくてそれにそれが陸上ルートだということはないとすればその諸事実は新装開店でない」ということは成り立つ
事実2: 「「もし「陸上ルートでないしかつ持ち難いということはない」ということは誤りならば「支障無い」ということは成り立つ」ものはある」ということは正しい
事実3: 仮に「何かは人間臭くなくてまた拡大強化しない」ということは誤りだとすると支障無くない
事実4: もしもその諸事実が陸上ルートだとするとそれは支障無くない
事実5: 「もし陸上ルートでないし持ち難いということはないなら支障無いということはない」ものはある
事実6: もし「「その諸事実は陸上ルートでないけれど持ち難い」ということは成り立たない」ということは事実ならそれは支障無くない
事実7: 「もし陸上ルートだとすれば支障無くない」ものはある
事実8: もし「「その下種はあたふたしなくておまけに取り付けない」ということは確かだ」ということは事実と異なるとしたら持ち難いということはない
事実9: 「仮に「陸上ルートであるしさらに持ち難くない」ということは成り立たないとすると支障無くない」物はある
事実10: もし仮に「その諸事実は陸上ルートだということはないしそれは持ち難くない」ということは間違いだとすればそれは支障無い
事実11: 「もし持ち難いとすれば支障無くない」ものはある
事実12: 「もしも「新装開店であるということはなくて予算制約でない」ということは成り立たないとしたらそつ無くない」物はある
事実13: もしも「その諸事実は小難しくなくて陸上ルートでない」ということは成り立たないならそれは下げ止まらない
事実14: 「その世界線は寄与するということはなくてそれは咲き続けない」ということは誤っているとするとそれは中央集権化しない
事実15: 仮に「「その諸事実は陸上ルートでないしさらにそれは持ち難くない」ということは偽だ」ということは事実であるならそれは支障無くない
事実16: 「「年少でないししかも炊き込むということはない」ということは偽であるとしたら九以前でない」ものはある
事実17: 「もし「陸上ルートでないけれど持ち難い」ということは真実でないならば支障無くない」ものはある

仮説: 「もし仮に「陸上ルートでないしさらに持ち難くない」ということは成り立つということはないとすれば支障無いということはない」物はある
1. 事実15から、仮説が導かれる

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