その生谷は電話連絡であるということはない
fact1: 仮に「この御遺体はいじましくない」ということは真実だとしたらその生谷は電話連絡だ fact2: この横揺れが勝ち残れないとしたらあの王位は鍔でないがしかし創出出来る fact3: その生谷は放射線治療だ fact4: もし仮にこの御遺体がいじましくて重々しいならその生谷は電話連絡だということはない fact5: この御遺体はいじましい fact6: 仮に何らかの物は画面サイズであるとしたら「それはいじましくないし更にそれは重々しかない」ということは偽だ fact7: なにかは良過ぎる fact8: 「その生谷は重々しい」ということは確かだ fact9: もしもこの横揺れが画面サイズでないとするとあの王位は画面サイズだ fact10: もし仮にあの王位は鍔でないなら「その生谷は証明書でないかまたはそれは電話連絡でないかまたは両方ともである」ということは誤っている fact11: もしも「とある物は画面サイズだししかもいじましい」ということは間違いであるならばいじましくない fact12: あの市町村税は利用し辛いしまた電話連絡だ fact13: この御遺体は重々しい fact14: 仮に「その生谷は証明書でないかまたは電話連絡でないか両方である」ということは成り立たないとすればあの御遺体は電話連絡であるということはない fact15: もし仮にこの御遺体は電話連絡でないならば「あの理学は画面サイズであるしそれはいじましい」ということは成り立たない fact16: もしなんらかのものがいじましくないとすればそれは重々しいし御貸し下さる fact17: もしも「「良過ぎる」ということは確かな」物があるとするとこの横揺れは緑がかるかあるいは痛いかもしくは両方である
fact5 & fact13 -> int1: この御遺体はいじましいし加えて重々しい; int1 & fact4 -> hypothesis;
その生谷は電話連絡である
fact20 -> int2: もしもあの王位は画面サイズだとすると「「いじましくなくてそれにそれは重々しかない」ということは事実だ」ということは成り立たない;
$facts$ = fact1: 仮に「この御遺体はいじましくない」ということは真実だとしたらその生谷は電話連絡だ fact2: この横揺れが勝ち残れないとしたらあの王位は鍔でないがしかし創出出来る fact3: その生谷は放射線治療だ fact4: もし仮にこの御遺体がいじましくて重々しいならその生谷は電話連絡だということはない fact5: この御遺体はいじましい fact6: 仮に何らかの物は画面サイズであるとしたら「それはいじましくないし更にそれは重々しかない」ということは偽だ fact7: なにかは良過ぎる fact8: 「その生谷は重々しい」ということは確かだ fact9: もしもこの横揺れが画面サイズでないとするとあの王位は画面サイズだ fact10: もし仮にあの王位は鍔でないなら「その生谷は証明書でないかまたはそれは電話連絡でないかまたは両方ともである」ということは誤っている fact11: もしも「とある物は画面サイズだししかもいじましい」ということは間違いであるならばいじましくない fact12: あの市町村税は利用し辛いしまた電話連絡だ fact13: この御遺体は重々しい fact14: 仮に「その生谷は証明書でないかまたは電話連絡でないか両方である」ということは成り立たないとすればあの御遺体は電話連絡であるということはない fact15: もし仮にこの御遺体は電話連絡でないならば「あの理学は画面サイズであるしそれはいじましい」ということは成り立たない fact16: もしなんらかのものがいじましくないとすればそれは重々しいし御貸し下さる fact17: もしも「「良過ぎる」ということは確かな」物があるとするとこの横揺れは緑がかるかあるいは痛いかもしくは両方である ; $hypothesis$ = その生谷は電話連絡であるということはない ; $proof$ = 
fact5 & fact13 -> int1: この御遺体はいじましいし加えて重々しい; int1 & fact4 -> hypothesis; __PROVED__
事実1: 仮に「この御遺体はいじましくない」ということは真実だとしたらその生谷は電話連絡だ
事実2: この横揺れが勝ち残れないとしたらあの王位は鍔でないがしかし創出出来る
事実3: その生谷は放射線治療だ
事実4: もし仮にこの御遺体がいじましくて重々しいならその生谷は電話連絡だということはない
事実5: この御遺体はいじましい
事実6: 仮に何らかの物は画面サイズであるとしたら「それはいじましくないし更にそれは重々しかない」ということは偽だ
事実7: なにかは良過ぎる
事実8: 「その生谷は重々しい」ということは確かだ
事実9: もしもこの横揺れが画面サイズでないとするとあの王位は画面サイズだ
事実10: もし仮にあの王位は鍔でないなら「その生谷は証明書でないかまたはそれは電話連絡でないかまたは両方ともである」ということは誤っている
事実11: もしも「とある物は画面サイズだししかもいじましい」ということは間違いであるならばいじましくない
事実12: あの市町村税は利用し辛いしまた電話連絡だ
事実13: この御遺体は重々しい
事実14: 仮に「その生谷は証明書でないかまたは電話連絡でないか両方である」ということは成り立たないとすればあの御遺体は電話連絡であるということはない
事実15: もし仮にこの御遺体は電話連絡でないならば「あの理学は画面サイズであるしそれはいじましい」ということは成り立たない
事実16: もしなんらかのものがいじましくないとすればそれは重々しいし御貸し下さる
事実17: もしも「「良過ぎる」ということは確かな」物があるとするとこの横揺れは緑がかるかあるいは痛いかもしくは両方である

仮説: その生谷は電話連絡であるということはない
1. 事実5と事実13から、推論1: "この御遺体はいじましいし加えて重々しい"が導かれる
2. 推論1と事実4から、仮説が導かれる

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