「「その緯度は砂粒であるかもしくはそれは調べ易くないかまたは両方である」ということは正しい」ということは嘘だ
fact1: 仮に「「喋り難くておまけに収去する」ということは偽な」物があるとするとあの藩政は権利証でない fact2: あの藩政が分解され難いならあの年中無休は喋り難い fact3: もしその緯度は収去するなら「それは砂粒であるか調べ易くないかあるいは両方ともだ」ということは成り立たない fact4: もし何かは全日航労組だとしたら「それは痩せ難いかそれは作り易くない」ということは偽だ fact5: 「「その怪猫は買収出来なくて運転し易くない」ということは成り立つ」ということは事実でない fact6: もしも「「買収出来なくておまけに運転し易くない」ということは誤っている」物があるとするとあの年中無休は肩入れしない fact7: あの藩政が権利証でないならばこの健全経営は再計算だということはないけれど名残惜しい fact8: もしもこの本船が再計算ならばこの健全経営は権利証だ fact9: もし仮にそのデューが全日航労組でないならこの本船は名残惜しいかまたは再計算であるかあるいはどちらもである fact10: もし何かは肩入れしないとしたら「喋り難いししかも収去する」ということは間違っている fact11: もしもあの年中無休が喋り難いとするとその緯度は収去する fact12: 「もし「この健全経営は権利証である」ということは本当であるとするとあの藩政は分解され難い」ということは真実である fact13: そのデューは砂粒だ fact14: もし仮にとあるものが興起するしかつそれが全日航労組だとするとそれは調べ易いということはない fact15: どれもこれもは興起しないしそれは全日航労組であるということはない fact16: すべての物は成され易くないしおまけにそれは村高でない fact17: もしこの本船が名残惜しいならこの健全経営は権利証だ fact18: 仮にあの年中無休が分解され難いとすればあの藩政は喋り難い fact19: 「あの寝癖は分解され難くないし全日航労組であるということはない」ということは嘘だ
fact15 -> int1: そのデューは興起しなくてかつ全日航労組でない; int1 -> int2: そのデューは全日航労組でない; int2 & fact9 -> int3: この本船は名残惜しいかあるいは再計算であるかまたはどちらもだ; int3 & fact17 & fact8 -> int4: この健全経営は権利証である; int4 & fact12 -> int5: あの藩政は分解され難い; int5 & fact2 -> int6: あの年中無休は喋り難い; int6 & fact11 -> int7: その緯度は収去する; int7 & fact3 -> hypothesis;
その緯度は砂粒であるかもしくは調べ易くない
fact20 -> int8: この本船が興起するし全日航労組ならば調べ易くない; fact23 -> int9: もしもあの年中無休は肩入れしないなら「それは喋り難くて収去する」ということは正しくない; fact24 -> int10: 「「買収出来なくて運転し易くない」ということは成り立たない」ものはある; int10 & fact21 -> int11: あの年中無休は肩入れしない; int9 & int11 -> int12: 「あの年中無休は喋り難いしそれにそれは収去する」ということは間違っている; int12 -> int13: 「「喋り難いし収去する」ということは誤っている」ものはある; int13 & fact22 -> int14: あの藩政は権利証でない; fact25 & int14 -> int15: この健全経営は再計算でないがしかし名残惜しい; int15 -> int16: 「再計算でなくてしかも名残惜しい」ものはある; fact26 -> int17: 「「「分解され難くないしまた全日航労組でない」ということは真実である」ということは確かでない」ものはある;
$facts$ = fact1: 仮に「「喋り難くておまけに収去する」ということは偽な」物があるとするとあの藩政は権利証でない fact2: あの藩政が分解され難いならあの年中無休は喋り難い fact3: もしその緯度は収去するなら「それは砂粒であるか調べ易くないかあるいは両方ともだ」ということは成り立たない fact4: もし何かは全日航労組だとしたら「それは痩せ難いかそれは作り易くない」ということは偽だ fact5: 「「その怪猫は買収出来なくて運転し易くない」ということは成り立つ」ということは事実でない fact6: もしも「「買収出来なくておまけに運転し易くない」ということは誤っている」物があるとするとあの年中無休は肩入れしない fact7: あの藩政が権利証でないならばこの健全経営は再計算だということはないけれど名残惜しい fact8: もしもこの本船が再計算ならばこの健全経営は権利証だ fact9: もし仮にそのデューが全日航労組でないならこの本船は名残惜しいかまたは再計算であるかあるいはどちらもである fact10: もし何かは肩入れしないとしたら「喋り難いししかも収去する」ということは間違っている fact11: もしもあの年中無休が喋り難いとするとその緯度は収去する fact12: 「もし「この健全経営は権利証である」ということは本当であるとするとあの藩政は分解され難い」ということは真実である fact13: そのデューは砂粒だ fact14: もし仮にとあるものが興起するしかつそれが全日航労組だとするとそれは調べ易いということはない fact15: どれもこれもは興起しないしそれは全日航労組であるということはない fact16: すべての物は成され易くないしおまけにそれは村高でない fact17: もしこの本船が名残惜しいならこの健全経営は権利証だ fact18: 仮にあの年中無休が分解され難いとすればあの藩政は喋り難い fact19: 「あの寝癖は分解され難くないし全日航労組であるということはない」ということは嘘だ ; $hypothesis$ = 「「その緯度は砂粒であるかもしくはそれは調べ易くないかまたは両方である」ということは正しい」ということは嘘だ ; $proof$ = 
fact15 -> int1: そのデューは興起しなくてかつ全日航労組でない; int1 -> int2: そのデューは全日航労組でない; int2 & fact9 -> int3: この本船は名残惜しいかあるいは再計算であるかまたはどちらもだ; int3 & fact17 & fact8 -> int4: この健全経営は権利証である; int4 & fact12 -> int5: あの藩政は分解され難い; int5 & fact2 -> int6: あの年中無休は喋り難い; int6 & fact11 -> int7: その緯度は収去する; int7 & fact3 -> hypothesis; __PROVED__
事実1: 仮に「「喋り難くておまけに収去する」ということは偽な」物があるとするとあの藩政は権利証でない
事実2: あの藩政が分解され難いならあの年中無休は喋り難い
事実3: もしその緯度は収去するなら「それは砂粒であるか調べ易くないかあるいは両方ともだ」ということは成り立たない
事実4: もし何かは全日航労組だとしたら「それは痩せ難いかそれは作り易くない」ということは偽だ
事実5: 「「その怪猫は買収出来なくて運転し易くない」ということは成り立つ」ということは事実でない
事実6: もしも「「買収出来なくておまけに運転し易くない」ということは誤っている」物があるとするとあの年中無休は肩入れしない
事実7: あの藩政が権利証でないならばこの健全経営は再計算だということはないけれど名残惜しい
事実8: もしもこの本船が再計算ならばこの健全経営は権利証だ
事実9: もし仮にそのデューが全日航労組でないならこの本船は名残惜しいかまたは再計算であるかあるいはどちらもである
事実10: もし何かは肩入れしないとしたら「喋り難いししかも収去する」ということは間違っている
事実11: もしもあの年中無休が喋り難いとするとその緯度は収去する
事実12: 「もし「この健全経営は権利証である」ということは本当であるとするとあの藩政は分解され難い」ということは真実である
事実13: そのデューは砂粒だ
事実14: もし仮にとあるものが興起するしかつそれが全日航労組だとするとそれは調べ易いということはない
事実15: どれもこれもは興起しないしそれは全日航労組であるということはない
事実16: すべての物は成され易くないしおまけにそれは村高でない
事実17: もしこの本船が名残惜しいならこの健全経営は権利証だ
事実18: 仮にあの年中無休が分解され難いとすればあの藩政は喋り難い
事実19: 「あの寝癖は分解され難くないし全日航労組であるということはない」ということは嘘だ

仮説: 「「その緯度は砂粒であるかもしくはそれは調べ易くないかまたは両方である」ということは正しい」ということは嘘だ
1. 事実15から、推論1: "そのデューは興起しなくてかつ全日航労組でない"が導かれる
2. 推論1から、推論2: "そのデューは全日航労組でない"が導かれる
3. 推論2と事実9から、推論3: "この本船は名残惜しいかあるいは再計算であるかまたはどちらもだ"が導かれる
4. 推論3と事実17と事実8から、推論4: "この健全経営は権利証である"が導かれる
5. 推論4と事実12から、推論5: "あの藩政は分解され難い"が導かれる
6. 推論5と事実2から、推論6: "あの年中無休は喋り難い"が導かれる
7. 推論6と事実11から、推論7: "その緯度は収去する"が導かれる
8. 推論7と事実3から、仮説が導かれる

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