その烏賊素麺は強制移住するということはない
fact1: あのＮＰは無人島だ fact2: もしもあの在が面倒臭くなくておまけに平家琵琶でないならその烏賊素麺は丸っこくない fact3: もしもあのＮＰが平家琵琶であるかそれが出しゃばればその烏賊素麺は平家琵琶でない fact4: 無人島は強制移住する fact5: あのＮＰは無人島だとすれば「あの継ぎ接ぎは問われ方でないかまたはそれは暗しということはないかまたは両方だ」ということは事実と異なる fact6: もしも「あの在は材価であるかもしくはそれは直進しないか両方である」ということは誤っているとすれば「出しゃばる」ということは事実だ fact7: 「あの在は材価であるかもしくはそれは直進しない」ということは嘘だ fact8: もしも「「問われ方であるかまたは暗しないかどちらもである」ということは誤っている」ものがあるならばあの酢酸は御偉い fact9: もし仮にあのＮＰが無人島だとすればあの継ぎ接ぎは問われ方だ fact10: もし仮にその烏賊素麺が平家琵琶でないならば丸っこくて加えて面倒臭い fact11: その酢酸は無人島だ fact12: もし「なにがしかのものは御偉くないかまたは恐れ多いかあるいは両方である」ということは成り立たないとすると無人島である fact13: もしもその烏賊素麺が丸っこくないならばあの継ぎ接ぎは恐れ多いしまた強制移住する fact14: その酢酸は恐れ多くて丸っこい fact15: あの継ぎ接ぎは問われ方だ fact16: 「問われ方な」物はある fact17: あの継ぎ接ぎは問われ方であるしその上御偉い fact18: もしも「「問われ方でないか暗しない」ということは本当でない」ものがあるならその酢酸は御偉い fact19: なんらかのものは出しゃばればそれは面倒臭くなくてしかも平家琵琶でない fact20: 「問われ方でないかまたは暗しないか両方である」ものはある fact21: 仮に「恐れ多い」物はあるとすると「あのＮＰは無人島であるしおまけに御偉い」ということは間違いである fact22: 「「問われ方でないかまたは暗し」ということは成り立たない」物はある fact23: もしもなんらかの物は無人島でないとしたらそれは仕うししかも問われ方である fact24: その酢酸は丸っこい fact25: もしその酢酸が恐れ多くてかつ御偉いならばその烏賊素麺は強制移住しない
fact5 & fact1 -> int1: 「「あの継ぎ接ぎは問われ方でないかあるいは暗しないかまたは両方だ」ということは成り立つ」ということは成り立たない; int1 -> int2: 「「問われ方でないかまたは暗しない」ということは嘘な」物はある; int2 & fact18 -> int3: その酢酸は御偉い; fact14 -> int4: その酢酸は恐れ多い; int3 & int4 -> int5: その酢酸は恐れ多くて御偉い; int5 & fact25 -> hypothesis;
その酢酸は仕うししかも問われ方である
fact29 -> int6: もしもその酢酸が無人島でないとすると仕うしそれに問われ方である; fact27 -> int7: 仮にあの在が出しゃばるならそれは面倒臭くなくてまたそれは平家琵琶でない; fact30 & fact26 -> int8: あの在は出しゃばる; int7 & int8 -> int9: あの在は面倒臭くないしその上平家琵琶だということはない; fact32 & int9 -> int10: その烏賊素麺は丸っこくない; fact28 & int10 -> int11: あの継ぎ接ぎは恐れ多いしかつ強制移住する; int11 -> int12: あの継ぎ接ぎは恐れ多い; int12 -> int13: なにかは恐れ多い; int13 & fact31 -> int14: 「「あのＮＰは無人島であるしそれに御偉い」ということは嘘である」ということは確かだ; int14 -> int15: 「「無人島であるしおまけに御偉い」ということは事実でない」物はある;
$facts$ = fact1: あのＮＰは無人島だ fact2: もしもあの在が面倒臭くなくておまけに平家琵琶でないならその烏賊素麺は丸っこくない fact3: もしもあのＮＰが平家琵琶であるかそれが出しゃばればその烏賊素麺は平家琵琶でない fact4: 無人島は強制移住する fact5: あのＮＰは無人島だとすれば「あの継ぎ接ぎは問われ方でないかまたはそれは暗しということはないかまたは両方だ」ということは事実と異なる fact6: もしも「あの在は材価であるかもしくはそれは直進しないか両方である」ということは誤っているとすれば「出しゃばる」ということは事実だ fact7: 「あの在は材価であるかもしくはそれは直進しない」ということは嘘だ fact8: もしも「「問われ方であるかまたは暗しないかどちらもである」ということは誤っている」ものがあるならばあの酢酸は御偉い fact9: もし仮にあのＮＰが無人島だとすればあの継ぎ接ぎは問われ方だ fact10: もし仮にその烏賊素麺が平家琵琶でないならば丸っこくて加えて面倒臭い fact11: その酢酸は無人島だ fact12: もし「なにがしかのものは御偉くないかまたは恐れ多いかあるいは両方である」ということは成り立たないとすると無人島である fact13: もしもその烏賊素麺が丸っこくないならばあの継ぎ接ぎは恐れ多いしまた強制移住する fact14: その酢酸は恐れ多くて丸っこい fact15: あの継ぎ接ぎは問われ方だ fact16: 「問われ方な」物はある fact17: あの継ぎ接ぎは問われ方であるしその上御偉い fact18: もしも「「問われ方でないか暗しない」ということは本当でない」ものがあるならその酢酸は御偉い fact19: なんらかのものは出しゃばればそれは面倒臭くなくてしかも平家琵琶でない fact20: 「問われ方でないかまたは暗しないか両方である」ものはある fact21: 仮に「恐れ多い」物はあるとすると「あのＮＰは無人島であるしおまけに御偉い」ということは間違いである fact22: 「「問われ方でないかまたは暗し」ということは成り立たない」物はある fact23: もしもなんらかの物は無人島でないとしたらそれは仕うししかも問われ方である fact24: その酢酸は丸っこい fact25: もしその酢酸が恐れ多くてかつ御偉いならばその烏賊素麺は強制移住しない ; $hypothesis$ = その烏賊素麺は強制移住するということはない ; $proof$ = 
fact5 & fact1 -> int1: 「「あの継ぎ接ぎは問われ方でないかあるいは暗しないかまたは両方だ」ということは成り立つ」ということは成り立たない; int1 -> int2: 「「問われ方でないかまたは暗しない」ということは嘘な」物はある; int2 & fact18 -> int3: その酢酸は御偉い; fact14 -> int4: その酢酸は恐れ多い; int3 & int4 -> int5: その酢酸は恐れ多くて御偉い; int5 & fact25 -> hypothesis; __PROVED__
事実1: あのＮＰは無人島だ
事実2: もしもあの在が面倒臭くなくておまけに平家琵琶でないならその烏賊素麺は丸っこくない
事実3: もしもあのＮＰが平家琵琶であるかそれが出しゃばればその烏賊素麺は平家琵琶でない
事実4: 無人島は強制移住する
事実5: あのＮＰは無人島だとすれば「あの継ぎ接ぎは問われ方でないかまたはそれは暗しということはないかまたは両方だ」ということは事実と異なる
事実6: もしも「あの在は材価であるかもしくはそれは直進しないか両方である」ということは誤っているとすれば「出しゃばる」ということは事実だ
事実7: 「あの在は材価であるかもしくはそれは直進しない」ということは嘘だ
事実8: もしも「「問われ方であるかまたは暗しないかどちらもである」ということは誤っている」ものがあるならばあの酢酸は御偉い
事実9: もし仮にあのＮＰが無人島だとすればあの継ぎ接ぎは問われ方だ
事実10: もし仮にその烏賊素麺が平家琵琶でないならば丸っこくて加えて面倒臭い
事実11: その酢酸は無人島だ
事実12: もし「なにがしかのものは御偉くないかまたは恐れ多いかあるいは両方である」ということは成り立たないとすると無人島である
事実13: もしもその烏賊素麺が丸っこくないならばあの継ぎ接ぎは恐れ多いしまた強制移住する
事実14: その酢酸は恐れ多くて丸っこい
事実15: あの継ぎ接ぎは問われ方だ
事実16: 「問われ方な」物はある
事実17: あの継ぎ接ぎは問われ方であるしその上御偉い
事実18: もしも「「問われ方でないか暗しない」ということは本当でない」ものがあるならその酢酸は御偉い
事実19: なんらかのものは出しゃばればそれは面倒臭くなくてしかも平家琵琶でない
事実20: 「問われ方でないかまたは暗しないか両方である」ものはある
事実21: 仮に「恐れ多い」物はあるとすると「あのＮＰは無人島であるしおまけに御偉い」ということは間違いである
事実22: 「「問われ方でないかまたは暗し」ということは成り立たない」物はある
事実23: もしもなんらかの物は無人島でないとしたらそれは仕うししかも問われ方である
事実24: その酢酸は丸っこい
事実25: もしその酢酸が恐れ多くてかつ御偉いならばその烏賊素麺は強制移住しない

仮説: その烏賊素麺は強制移住するということはない
1. 事実5と事実1から、推論1: "「「あの継ぎ接ぎは問われ方でないかあるいは暗しないかまたは両方だ」ということは成り立つ」ということは成り立たない"が導かれる
2. 推論1から、推論2: "「「問われ方でないかまたは暗しない」ということは嘘な」物はある"が導かれる
3. 推論2と事実18から、推論3: "その酢酸は御偉い"が導かれる
4. 事実14から、推論4: "その酢酸は恐れ多い"が導かれる
5. 推論3と推論4から、推論5: "その酢酸は恐れ多くて御偉い"が導かれる
6. 推論5と事実25から、仮説が導かれる

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