あの表示単位未満は逆流しない
fact1: この経済格差は逆流する fact2: もしもこの国際会議場が遣り難いとしたら十人未満でないしその上爛れない fact3: 仮にこの経済格差が塑像でないとしたらあの表示単位未満は塑像でない fact4: この経済格差は街頭テレビだ一方で取り扱い等でない fact5: 「その扶養控除は塑像でない」ということは成り立つ fact6: もし仮にあの表示単位未満が塑像でないとすればあの経済格差は塑像でない fact7: 仮にこの経済格差が煮上げないとしたらあの表示単位未満は塑像だけれど煮上げない fact8: あの表示単位未満は女先生だ fact9: この国際会議場が十人未満でないしさらに爛れるということはないならばあの家庭事情は覚え直す fact10: この経済格差が逆流しないとするとあの表示単位未満は逆流しない fact11: もし仮に「その兄弟姉妹等は十人未満である一方で爛れるということはない」ということは間違いだとすればあの御家庭は十人未満でない fact12: 「あの表示単位未満は義太夫である」ということは成り立つ fact13: 仮にあの御家庭が十人未満でないとしたらあのワークブックは義太夫であるということはないがそれは塑像である fact14: あの表示単位未満は逆流するしおまけに塑像ならば義太夫でない fact15: この経済格差は半袖でない fact16: 仮にあのワークブックが義太夫だということはないが塑像であるとすればあの国際会議場は塑像でない fact17: この国際会議場が塑像でないならばあの表示単位未満は逆流するし煮上げる fact18: もしもこの国際会議場は街頭テレビであるならば遣り難い fact19: 「この経済格差は義太夫でない」ということは真実である fact20: 「この経済格差は取り切れない」ということは本当である fact21: 何もかもは煮上げない
fact21 -> int1: この経済格差は煮上げない; int1 & fact7 -> int2: あの表示単位未満は塑像だ一方で煮上げるということはない; int2 -> int3: 「あの表示単位未満は塑像だ」ということは真実である; void -> assump1: 以下のように仮定する。あの表示単位未満は逆流する; int3 & assump1 -> int4: あの表示単位未満は逆流するしさらに塑像だ; int4 & fact14 -> int5: あの表示単位未満は義太夫でない; int5 & fact12 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
あの表示単位未満は逆流する
$facts$ = fact1: この経済格差は逆流する fact2: もしもこの国際会議場が遣り難いとしたら十人未満でないしその上爛れない fact3: 仮にこの経済格差が塑像でないとしたらあの表示単位未満は塑像でない fact4: この経済格差は街頭テレビだ一方で取り扱い等でない fact5: 「その扶養控除は塑像でない」ということは成り立つ fact6: もし仮にあの表示単位未満が塑像でないとすればあの経済格差は塑像でない fact7: 仮にこの経済格差が煮上げないとしたらあの表示単位未満は塑像だけれど煮上げない fact8: あの表示単位未満は女先生だ fact9: この国際会議場が十人未満でないしさらに爛れるということはないならばあの家庭事情は覚え直す fact10: この経済格差が逆流しないとするとあの表示単位未満は逆流しない fact11: もし仮に「その兄弟姉妹等は十人未満である一方で爛れるということはない」ということは間違いだとすればあの御家庭は十人未満でない fact12: 「あの表示単位未満は義太夫である」ということは成り立つ fact13: 仮にあの御家庭が十人未満でないとしたらあのワークブックは義太夫であるということはないがそれは塑像である fact14: あの表示単位未満は逆流するしおまけに塑像ならば義太夫でない fact15: この経済格差は半袖でない fact16: 仮にあのワークブックが義太夫だということはないが塑像であるとすればあの国際会議場は塑像でない fact17: この国際会議場が塑像でないならばあの表示単位未満は逆流するし煮上げる fact18: もしもこの国際会議場は街頭テレビであるならば遣り難い fact19: 「この経済格差は義太夫でない」ということは真実である fact20: 「この経済格差は取り切れない」ということは本当である fact21: 何もかもは煮上げない ; $hypothesis$ = あの表示単位未満は逆流しない ; $proof$ = 
fact21 -> int1: この経済格差は煮上げない; int1 & fact7 -> int2: あの表示単位未満は塑像だ一方で煮上げるということはない; int2 -> int3: 「あの表示単位未満は塑像だ」ということは真実である; void -> assump1: 以下のように仮定する。あの表示単位未満は逆流する; int3 & assump1 -> int4: あの表示単位未満は逆流するしさらに塑像だ; int4 & fact14 -> int5: あの表示単位未満は義太夫でない; int5 & fact12 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __PROVED__
事実1: この経済格差は逆流する
事実2: もしもこの国際会議場が遣り難いとしたら十人未満でないしその上爛れない
事実3: 仮にこの経済格差が塑像でないとしたらあの表示単位未満は塑像でない
事実4: この経済格差は街頭テレビだ一方で取り扱い等でない
事実5: 「その扶養控除は塑像でない」ということは成り立つ
事実6: もし仮にあの表示単位未満が塑像でないとすればあの経済格差は塑像でない
事実7: 仮にこの経済格差が煮上げないとしたらあの表示単位未満は塑像だけれど煮上げない
事実8: あの表示単位未満は女先生だ
事実9: この国際会議場が十人未満でないしさらに爛れるということはないならばあの家庭事情は覚え直す
事実10: この経済格差が逆流しないとするとあの表示単位未満は逆流しない
事実11: もし仮に「その兄弟姉妹等は十人未満である一方で爛れるということはない」ということは間違いだとすればあの御家庭は十人未満でない
事実12: 「あの表示単位未満は義太夫である」ということは成り立つ
事実13: 仮にあの御家庭が十人未満でないとしたらあのワークブックは義太夫であるということはないがそれは塑像である
事実14: あの表示単位未満は逆流するしおまけに塑像ならば義太夫でない
事実15: この経済格差は半袖でない
事実16: 仮にあのワークブックが義太夫だということはないが塑像であるとすればあの国際会議場は塑像でない
事実17: この国際会議場が塑像でないならばあの表示単位未満は逆流するし煮上げる
事実18: もしもこの国際会議場は街頭テレビであるならば遣り難い
事実19: 「この経済格差は義太夫でない」ということは真実である
事実20: 「この経済格差は取り切れない」ということは本当である
事実21: 何もかもは煮上げない

仮説: あの表示単位未満は逆流しない
1. 事実21から、推論1: "この経済格差は煮上げない"が導かれる
2. 推論1と事実7から、推論2: "あの表示単位未満は塑像だ一方で煮上げるということはない"が導かれる
3. 推論2から、推論3: "「あの表示単位未満は塑像だ」ということは真実である"が導かれる
4. 仮定1: 以下のように仮定する。あの表示単位未満は逆流する
5. 推論3と仮定1から、推論4: "あの表示単位未満は逆流するしさらに塑像だ"が導かれる
6. 推論4と事実14から、推論5: "あの表示単位未満は義太夫でない"が導かれる
7. 推論5と事実12から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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