あの双極性は久しくない一方でそれは思わす
fact1: もしあの十六ビット処理系が合わせ辛くないとするとあの双極性は小姓でないけどそれは削平する fact2: 仮に「「其れらしいが旅芸人でない」ということは誤りな」物があるとしたらあの十六ビット処理系は出現後である fact3: なにがしかのものは三種法華でない fact4: もしもそのスーツは旨いとしたら「あの十六ビット処理系は合わせ辛くない」ということは真実である fact5: 仮にあの十六ビット処理系が出現後だとするとあの双極性は久しくないけれど思わす fact6: 毘沙門天は旨い fact7: もしもなんらかのものは出現後でないなら「それは久しいということはないし更に思わす」ということは成り立たない fact8: 「三種法華でない」物があるとするとその第八詩節は告る fact9: その第八詩節が理解し難くないとしたらこのイラク問題は軽しない fact10: その第八詩節がし続けないならばあのイラク問題は軽しない fact11: もし仮になにがしかの物は小姓だということはないがしかし削平するとすると出現後でない fact12: もし「「久しくない」ということは成り立つ」ものがあればあの十六ビット処理系は出現後だ fact13: 仮に「久しくない」ものがあればあの双極性は出現後だ fact14: 「「其れらしいけど旅芸人だということはない」ということは成り立たない」物はある fact15: もしもあの十六ビット処理系は久しいとすると「あの双極性は出現後でない」ということは正しい fact16: 仮になんらかのものが告るとすれば理解し難くないかあるいはし続けないかまたは両方である
fact14 & fact2 -> int1: あの十六ビット処理系は出現後である; int1 & fact5 -> hypothesis;
「あの双極性は久しいということはない一方で思わす」ということは成り立たない
fact20 -> int2: 仮にあの双極性は出現後でないとしたら「久しくないがしかし思わす」ということは間違いである; fact23 -> int3: 仮にあの双極性が小姓でないけどそれが削平するとすればそれは出現後でない; fact24 -> int4: もしもそのスーツが毘沙門天ならば旨い; fact25 -> int5: もしその第八詩節が告れば理解し難くないかまたはし続けないかどちらもである; fact22 & fact19 -> int6: その第八詩節は告る; int5 & int6 -> int7: その第八詩節は理解し難くないかまたはし続けないかどちらもだ; int7 & fact18 & fact21 -> int8: このイラク問題は軽しない; int8 -> int9: 「軽しない」物はある;
$facts$ = fact1: もしあの十六ビット処理系が合わせ辛くないとするとあの双極性は小姓でないけどそれは削平する fact2: 仮に「「其れらしいが旅芸人でない」ということは誤りな」物があるとしたらあの十六ビット処理系は出現後である fact3: なにがしかのものは三種法華でない fact4: もしもそのスーツは旨いとしたら「あの十六ビット処理系は合わせ辛くない」ということは真実である fact5: 仮にあの十六ビット処理系が出現後だとするとあの双極性は久しくないけれど思わす fact6: 毘沙門天は旨い fact7: もしもなんらかのものは出現後でないなら「それは久しいということはないし更に思わす」ということは成り立たない fact8: 「三種法華でない」物があるとするとその第八詩節は告る fact9: その第八詩節が理解し難くないとしたらこのイラク問題は軽しない fact10: その第八詩節がし続けないならばあのイラク問題は軽しない fact11: もし仮になにがしかの物は小姓だということはないがしかし削平するとすると出現後でない fact12: もし「「久しくない」ということは成り立つ」ものがあればあの十六ビット処理系は出現後だ fact13: 仮に「久しくない」ものがあればあの双極性は出現後だ fact14: 「「其れらしいけど旅芸人だということはない」ということは成り立たない」物はある fact15: もしもあの十六ビット処理系は久しいとすると「あの双極性は出現後でない」ということは正しい fact16: 仮になんらかのものが告るとすれば理解し難くないかあるいはし続けないかまたは両方である ; $hypothesis$ = あの双極性は久しくない一方でそれは思わす ; $proof$ = 
fact14 & fact2 -> int1: あの十六ビット処理系は出現後である; int1 & fact5 -> hypothesis; __PROVED__
事実1: もしあの十六ビット処理系が合わせ辛くないとするとあの双極性は小姓でないけどそれは削平する
事実2: 仮に「「其れらしいが旅芸人でない」ということは誤りな」物があるとしたらあの十六ビット処理系は出現後である
事実3: なにがしかのものは三種法華でない
事実4: もしもそのスーツは旨いとしたら「あの十六ビット処理系は合わせ辛くない」ということは真実である
事実5: 仮にあの十六ビット処理系が出現後だとするとあの双極性は久しくないけれど思わす
事実6: 毘沙門天は旨い
事実7: もしもなんらかのものは出現後でないなら「それは久しいということはないし更に思わす」ということは成り立たない
事実8: 「三種法華でない」物があるとするとその第八詩節は告る
事実9: その第八詩節が理解し難くないとしたらこのイラク問題は軽しない
事実10: その第八詩節がし続けないならばあのイラク問題は軽しない
事実11: もし仮になにがしかの物は小姓だということはないがしかし削平するとすると出現後でない
事実12: もし「「久しくない」ということは成り立つ」ものがあればあの十六ビット処理系は出現後だ
事実13: 仮に「久しくない」ものがあればあの双極性は出現後だ
事実14: 「「其れらしいけど旅芸人だということはない」ということは成り立たない」物はある
事実15: もしもあの十六ビット処理系は久しいとすると「あの双極性は出現後でない」ということは正しい
事実16: 仮になんらかのものが告るとすれば理解し難くないかあるいはし続けないかまたは両方である

仮説: あの双極性は久しくない一方でそれは思わす
1. 事実14と事実2から、推論1: "あの十六ビット処理系は出現後である"が導かれる
2. 推論1と事実5から、仮説が導かれる

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