「もし「ファクスするということはないしかつにたにたするということはない」ということは成り立つということはないならくたばる」ものはある
fact1: 「もし「御約束するということはなくて言い易い」ということは成り立つということはないとすれば手打ち蕎麦な」ものはある fact2: 「もしも「ファクスしないがにたにたする」ということは偽だとすると「くたばる」ということは事実な」ものはある fact3: もし仮に「あの藁草履は一種だということはないしその上にたにたしない」ということは成り立たないならば「それは比較し難い」ということは真実だ fact4: 「ファクスしないし更ににたにたしないとすればくたばる」物はある fact5: 「もし仮に「三十九人だということはなくておまけに御所様でない」ということは偽であるなら複製する」物はある fact6: 「仮に「ファクスするししかもにたにたしない」ということは誤りであるとすればくたばる」物はある fact7: 「もし「ファクスする」ということは事実だとすれば「くたばる」ということは成り立つ」物はある fact8: 「「簡単化でなくてまた蠕動運動でない」ということは事実でないとしたら普及し始める」物はある fact9: 「にたにたするとしたらくたばる」ものはある fact10: もし仮にあの藁草履はファクスしないしかつにたにたしないならばくたばる fact11: 「あの語訳は立て始めるということはないしおまけにくたばらない」ということは嘘ならば他愛無い fact12: 「あの藁草履はファクスしない一方でにたにたする」ということは成り立たないならばそれはくたばる fact13: もし仮に「あの藁草履はファクスしなくてそれはにたにたするということはない」ということは本当でないならそれはくたばる fact14: 「何らかのものは浮き易いということはなくてそれに二次巻き線でない」ということは成り立たないならばひょっとする fact15: もしもあの藁草履はファクスするとすれば「くたばる」ということは正しい
fact13 -> hypothesis;
「もし仮に「浮き易くないしその上二次巻き線でない」ということは偽だとしたらひょっとする」物はある
fact16 -> int1: 仮に「この逆修法要は浮き易いということはないしおまけに二次巻き線でない」ということは間違いだとしたらそれはひょっとする; int1 -> hypothesis;
$facts$ = fact1: 「もし「御約束するということはなくて言い易い」ということは成り立つということはないとすれば手打ち蕎麦な」ものはある fact2: 「もしも「ファクスしないがにたにたする」ということは偽だとすると「くたばる」ということは事実な」ものはある fact3: もし仮に「あの藁草履は一種だということはないしその上にたにたしない」ということは成り立たないならば「それは比較し難い」ということは真実だ fact4: 「ファクスしないし更ににたにたしないとすればくたばる」物はある fact5: 「もし仮に「三十九人だということはなくておまけに御所様でない」ということは偽であるなら複製する」物はある fact6: 「仮に「ファクスするししかもにたにたしない」ということは誤りであるとすればくたばる」物はある fact7: 「もし「ファクスする」ということは事実だとすれば「くたばる」ということは成り立つ」物はある fact8: 「「簡単化でなくてまた蠕動運動でない」ということは事実でないとしたら普及し始める」物はある fact9: 「にたにたするとしたらくたばる」ものはある fact10: もし仮にあの藁草履はファクスしないしかつにたにたしないならばくたばる fact11: 「あの語訳は立て始めるということはないしおまけにくたばらない」ということは嘘ならば他愛無い fact12: 「あの藁草履はファクスしない一方でにたにたする」ということは成り立たないならばそれはくたばる fact13: もし仮に「あの藁草履はファクスしなくてそれはにたにたするということはない」ということは本当でないならそれはくたばる fact14: 「何らかのものは浮き易いということはなくてそれに二次巻き線でない」ということは成り立たないならばひょっとする fact15: もしもあの藁草履はファクスするとすれば「くたばる」ということは正しい ; $hypothesis$ = 「もし「ファクスするということはないしかつにたにたするということはない」ということは成り立つということはないならくたばる」ものはある ; $proof$ = 
fact13 -> hypothesis; __PROVED__
事実1: 「もし「御約束するということはなくて言い易い」ということは成り立つということはないとすれば手打ち蕎麦な」ものはある
事実2: 「もしも「ファクスしないがにたにたする」ということは偽だとすると「くたばる」ということは事実な」ものはある
事実3: もし仮に「あの藁草履は一種だということはないしその上にたにたしない」ということは成り立たないならば「それは比較し難い」ということは真実だ
事実4: 「ファクスしないし更ににたにたしないとすればくたばる」物はある
事実5: 「もし仮に「三十九人だということはなくておまけに御所様でない」ということは偽であるなら複製する」物はある
事実6: 「仮に「ファクスするししかもにたにたしない」ということは誤りであるとすればくたばる」物はある
事実7: 「もし「ファクスする」ということは事実だとすれば「くたばる」ということは成り立つ」物はある
事実8: 「「簡単化でなくてまた蠕動運動でない」ということは事実でないとしたら普及し始める」物はある
事実9: 「にたにたするとしたらくたばる」ものはある
事実10: もし仮にあの藁草履はファクスしないしかつにたにたしないならばくたばる
事実11: 「あの語訳は立て始めるということはないしおまけにくたばらない」ということは嘘ならば他愛無い
事実12: 「あの藁草履はファクスしない一方でにたにたする」ということは成り立たないならばそれはくたばる
事実13: もし仮に「あの藁草履はファクスしなくてそれはにたにたするということはない」ということは本当でないならそれはくたばる
事実14: 「何らかのものは浮き易いということはなくてそれに二次巻き線でない」ということは成り立たないならばひょっとする
事実15: もしもあの藁草履はファクスするとすれば「くたばる」ということは正しい

仮説: 「もし「ファクスするということはないしかつにたにたするということはない」ということは成り立つということはないならくたばる」ものはある
1. 事実13から、仮説が導かれる

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