この所有格は自由研究であるかあるいはそれは清々しいか両方である
fact1: 仮に「「色好いしかつ有機物質だ」ということは間違いな」物があるとすればあの椴木は株式オプションでない fact2: 「この所有格は株式オプションであるしおまけに走り抜ける」ということは真実だということはない fact3: その九時頃が株式オプションでないとするとその椴木は甘ーいかもしくは自由研究だ fact4: もしも「「有機物質であるしその上株式オプションだ」ということは成り立たない」物があるならこの所有格は自由研究でない fact5: 「色好くておまけに有機物質である」ものはある fact6: 何もかもは関連付けない fact7: もし仮に「株式オプションな」ものはあるなら「あの創設的身分行為は色好いしおまけにそれは滑走路である」ということは成り立たない fact8: もし仮に「その椴木は株式オプションであるということはない」ということは真実なら「この所有格は自由研究であるか清々しい」ということは間違いである fact9: もしも「「色好くない」ということは真実な」ものはあるなら「その椴木は株式オプションでない」ということは成り立つ fact10: もし仮にその椴木が株式オプションだということはないとするとこの所有格は自由研究でない fact11: もし仮に「「株式オプションであるということはない」ということは成り立つ」物があればその椴木は清々しくない fact12: 「株式オプションだしその上清々しい」物はある fact13: 「その樹冠下部は色好くてそれに有機物質だ」ということは間違いである fact14: その椴木が色好くないとすればその樹冠下部は株式オプションでない fact15: 仮にその九時頃が甘ーくないかあるいは売買しないかあるいはどちらもだとすればこの所有格は甘ーくない fact16: この所有格は自由研究であるということはない fact17: その樹冠下部は株式オプションでないとすれば「その椴木は有機物質であるかもしくは色好いかあるいは両方ともだ」ということは成り立たない fact18: なにがしかのものは甘ーくないかもしくは清々しくないかもしくはどちらもであるとすれば「その椴木は清々しくない」ということは本当である fact19: この所有格は株式オプションでない fact20: 何かは関連付けないとすれば「落ち難くて血腥い」ということは成り立つということはない fact21: この所有格は惜しみ無くない fact22: 仮に「何かは落ち難くて血腥い」ということは成り立たないとしたら売買しない
fact13 -> int1: 「「色好くて有機物質である」ということは成り立たない」ものはある; int1 & fact1 -> int2: その椴木は株式オプションでない; int2 & fact8 -> hypothesis;
「あの創設的身分行為は色好い滑走路である」ということは成り立たない
fact26 -> int3: もし仮にあの犯罪論体系は関連付けないとすれば「落ち難くて加えて血腥い」ということは間違いである; fact25 -> int4: あの犯罪論体系は関連付けない; int3 & int4 -> int5: 「あの犯罪論体系は落ち難くて血腥い」ということは嘘だ; int5 -> int6: それは落ち難いしおまけに血腥いという物はない; int6 -> int7: 「そのバロック時代は落ち難くて血腥い」ということは嘘だ; fact24 -> int8: もし「そのバロック時代は落ち難くて血腥い」ということは誤っているならそれは売買しない; int7 & int8 -> int9: そのバロック時代は売買しない; int9 -> int10: どれもこれもは売買しない; int10 -> int11: その第七図は売買しない; int11 -> int12: 「その第七図は甘ーくないかまたはそれは売買するということはないかあるいはどちらもである」ということは成り立つ; int12 -> int13: 何もかもは甘ーくないかもしくは売買しないかあるいは両方だ; int13 -> int14: 「その九時頃は甘ーくないかあるいは売買しないか両方ともである」ということは事実である; fact27 & int14 -> int15: この所有格は甘ーくない; int15 -> int16: この所有格は甘ーくないかそれは清々しくないかもしくは両方ともだ; int16 -> int17: 「「甘ーくないかまたは清々しくないかもしくは両方だ」ということは本当な」ものはある; int17 & fact23 -> int18: 「その椴木は清々しくない」ということは本当である;
$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$ = 
fact13 -> int1: 「「色好くて有機物質である」ということは成り立たない」ものはある; int1 & fact1 -> int2: その椴木は株式オプションでない; int2 & fact8 -> hypothesis; __DISPROVED__
事実1: 仮に「「色好いしかつ有機物質だ」ということは間違いな」物があるとすればあの椴木は株式オプションでない
事実2: 「この所有格は株式オプションであるしおまけに走り抜ける」ということは真実だということはない
事実3: その九時頃が株式オプションでないとするとその椴木は甘ーいかもしくは自由研究だ
事実4: もしも「「有機物質であるしその上株式オプションだ」ということは成り立たない」物があるならこの所有格は自由研究でない
事実5: 「色好くておまけに有機物質である」ものはある
事実6: 何もかもは関連付けない
事実7: もし仮に「株式オプションな」ものはあるなら「あの創設的身分行為は色好いしおまけにそれは滑走路である」ということは成り立たない
事実8: もし仮に「その椴木は株式オプションであるということはない」ということは真実なら「この所有格は自由研究であるか清々しい」ということは間違いである
事実9: もしも「「色好くない」ということは真実な」ものはあるなら「その椴木は株式オプションでない」ということは成り立つ
事実10: もし仮にその椴木が株式オプションだということはないとするとこの所有格は自由研究でない
事実11: もし仮に「「株式オプションであるということはない」ということは成り立つ」物があればその椴木は清々しくない
事実12: 「株式オプションだしその上清々しい」物はある
事実13: 「その樹冠下部は色好くてそれに有機物質だ」ということは間違いである
事実14: その椴木が色好くないとすればその樹冠下部は株式オプションでない
事実15: 仮にその九時頃が甘ーくないかあるいは売買しないかあるいはどちらもだとすればこの所有格は甘ーくない
事実16: この所有格は自由研究であるということはない
事実17: その樹冠下部は株式オプションでないとすれば「その椴木は有機物質であるかもしくは色好いかあるいは両方ともだ」ということは成り立たない
事実18: なにがしかのものは甘ーくないかもしくは清々しくないかもしくはどちらもであるとすれば「その椴木は清々しくない」ということは本当である
事実19: この所有格は株式オプションでない
事実20: 何かは関連付けないとすれば「落ち難くて血腥い」ということは成り立つということはない
事実21: この所有格は惜しみ無くない
事実22: 仮に「何かは落ち難くて血腥い」ということは成り立たないとしたら売買しない

仮説: この所有格は自由研究であるかあるいはそれは清々しいか両方である
1. 事実13から、推論1: "「「色好くて有機物質である」ということは成り立たない」ものはある"が導かれる
2. 推論1と事実1から、推論2: "その椴木は株式オプションでない"が導かれる
3. 推論2と事実8から、仮説が否定される

よって、仮説が否定されました。