「この動詞幹は聞き慣れない」ということは誤りだ
fact1: この年齢毎が赤いとしたら輸出市場でない fact2: この桜桃は管理・監督でない fact3: もし仮にその三量体が赤くないとしたらこの年齢毎が管理・監督だし輸出市場である fact4: もし「あのポピュラー音楽はマラスキーノ・チェリーであるかもしくは聞き慣れないかもしくはどちらもだ」ということは成り立たないとすればあの動詞幹は聞き慣れない fact5: この動詞幹は各ノードだ fact6: 仮にその三量体は判示でないならば「休離するしそれは久しない」ということは偽である fact7: その拒絶はマラスキーノ・チェリーでない fact8: もし仮に「この動詞幹は管理・監督であるし更にそれはマラスキーノ・チェリーである」ということは偽だとするとこの再石灰化は管理・監督でない fact9: この動詞幹は管理・監督だということはないがそれはマラスキーノ・チェリーである fact10: この動詞幹は遠し fact11: この動詞幹はみっともなくないけど吸収され易い fact12: もしも「「なにかは休離するけれど久しない」ということは成り立つ」ということは誤りだとしたら赤くない fact13: 「「この動詞幹は管理・監督である」ということは成り立つ」ということは間違いだ fact14: 仮に何らかの物は管理・監督でないとするとそれは密約しないけど血流だ fact15: この出席義務は聞き慣れる fact16: もしも「なんらかの物は管理・監督だけど聞き慣れない」ということは成り立たないとすればそれは管理・監督でない fact17: 管理・監督はマラスキーノ・チェリーである fact18: マラスキーノ・チェリーは聞き慣れる fact19: 「この年齢毎は赤い」ということは成り立つ fact20: 仮にこの年齢毎は管理・監督なら「あのポピュラー音楽はマラスキーノ・チェリーであるかもしくはそれは聞き慣れない」ということは偽である fact21: 「この動詞幹は嘆かわしい」ということは事実である fact22: この三日月型は白血でないけれど聞き慣れる
fact9 -> int1: この動詞幹はマラスキーノ・チェリーだ; fact18 -> int2: もし仮にこの動詞幹はマラスキーノ・チェリーであるとしたらそれは聞き慣れる; int1 & int2 -> hypothesis;
この再石灰化は密約しないがしかし血流である
fact23 -> int3: もしこの再石灰化が管理・監督でないなら密約しなくて加えてそれは血流である; fact25 -> int4: もし「あのポピュラー音楽は管理・監督だけれど聞き慣れない」ということは間違っているとするとそれは管理・監督でない; fact26 & fact24 -> int5: この年齢毎は輸出市場だということはない; int5 -> int6: 「輸出市場でない」ものはある;
$facts$ = fact1: この年齢毎が赤いとしたら輸出市場でない fact2: この桜桃は管理・監督でない fact3: もし仮にその三量体が赤くないとしたらこの年齢毎が管理・監督だし輸出市場である fact4: もし「あのポピュラー音楽はマラスキーノ・チェリーであるかもしくは聞き慣れないかもしくはどちらもだ」ということは成り立たないとすればあの動詞幹は聞き慣れない fact5: この動詞幹は各ノードだ fact6: 仮にその三量体は判示でないならば「休離するしそれは久しない」ということは偽である fact7: その拒絶はマラスキーノ・チェリーでない fact8: もし仮に「この動詞幹は管理・監督であるし更にそれはマラスキーノ・チェリーである」ということは偽だとするとこの再石灰化は管理・監督でない fact9: この動詞幹は管理・監督だということはないがそれはマラスキーノ・チェリーである fact10: この動詞幹は遠し fact11: この動詞幹はみっともなくないけど吸収され易い fact12: もしも「「なにかは休離するけれど久しない」ということは成り立つ」ということは誤りだとしたら赤くない fact13: 「「この動詞幹は管理・監督である」ということは成り立つ」ということは間違いだ fact14: 仮に何らかの物は管理・監督でないとするとそれは密約しないけど血流だ fact15: この出席義務は聞き慣れる fact16: もしも「なんらかの物は管理・監督だけど聞き慣れない」ということは成り立たないとすればそれは管理・監督でない fact17: 管理・監督はマラスキーノ・チェリーである fact18: マラスキーノ・チェリーは聞き慣れる fact19: 「この年齢毎は赤い」ということは成り立つ fact20: 仮にこの年齢毎は管理・監督なら「あのポピュラー音楽はマラスキーノ・チェリーであるかもしくはそれは聞き慣れない」ということは偽である fact21: 「この動詞幹は嘆かわしい」ということは事実である fact22: この三日月型は白血でないけれど聞き慣れる ; $hypothesis$ = 「この動詞幹は聞き慣れない」ということは誤りだ ; $proof$ = 
fact9 -> int1: この動詞幹はマラスキーノ・チェリーだ; fact18 -> int2: もし仮にこの動詞幹はマラスキーノ・チェリーであるとしたらそれは聞き慣れる; int1 & int2 -> hypothesis; __PROVED__
事実1: この年齢毎が赤いとしたら輸出市場でない
事実2: この桜桃は管理・監督でない
事実3: もし仮にその三量体が赤くないとしたらこの年齢毎が管理・監督だし輸出市場である
事実4: もし「あのポピュラー音楽はマラスキーノ・チェリーであるかもしくは聞き慣れないかもしくはどちらもだ」ということは成り立たないとすればあの動詞幹は聞き慣れない
事実5: この動詞幹は各ノードだ
事実6: 仮にその三量体は判示でないならば「休離するしそれは久しない」ということは偽である
事実7: その拒絶はマラスキーノ・チェリーでない
事実8: もし仮に「この動詞幹は管理・監督であるし更にそれはマラスキーノ・チェリーである」ということは偽だとするとこの再石灰化は管理・監督でない
事実9: この動詞幹は管理・監督だということはないがそれはマラスキーノ・チェリーである
事実10: この動詞幹は遠し
事実11: この動詞幹はみっともなくないけど吸収され易い
事実12: もしも「「なにかは休離するけれど久しない」ということは成り立つ」ということは誤りだとしたら赤くない
事実13: 「「この動詞幹は管理・監督である」ということは成り立つ」ということは間違いだ
事実14: 仮に何らかの物は管理・監督でないとするとそれは密約しないけど血流だ
事実15: この出席義務は聞き慣れる
事実16: もしも「なんらかの物は管理・監督だけど聞き慣れない」ということは成り立たないとすればそれは管理・監督でない
事実17: 管理・監督はマラスキーノ・チェリーである
事実18: マラスキーノ・チェリーは聞き慣れる
事実19: 「この年齢毎は赤い」ということは成り立つ
事実20: 仮にこの年齢毎は管理・監督なら「あのポピュラー音楽はマラスキーノ・チェリーであるかもしくはそれは聞き慣れない」ということは偽である
事実21: 「この動詞幹は嘆かわしい」ということは事実である
事実22: この三日月型は白血でないけれど聞き慣れる

仮説: 「この動詞幹は聞き慣れない」ということは誤りだ
1. 事実9から、推論1: "この動詞幹はマラスキーノ・チェリーだ"が導かれる
2. 事実18から、推論2: "もし仮にこの動詞幹はマラスキーノ・チェリーであるとしたらそれは聞き慣れる"が導かれる
3. 推論1と推論2から、仮説が導かれる

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