あの専攻部は熟達する
fact1: もし仮にあの専攻部は熟達するなら「それは歌い終わるしまたそれはし易いということはない」ということは誤っている fact2: この森銑三著・前掲書は嫌らしい fact3: もしもこの交付金は熟達するということはないとすると「あの専攻部は伝わり難くないかもしくは成り行くかあるいはどちらもだ」ということは偽である fact4: 入場駅は両軍だけれどチョイスしない fact5: 仮に「あの専攻部は伝わり難くないかまたは成り行くかまたは両方である」ということは間違いだとすればあの星さんは伝わり難くない fact6: もしもこの交付金はチョイスしないとすれば「それは見窄らしいしかつそれは堆い」ということは間違いである fact7: なにかは成り行けばそれは熟達する fact8: 仮に「あの専攻部は歌い終わるけれどし易くない」ということは成り立つということはないとしたらこの交付金は成り行く fact9: もし仮に「なにがしかのものは見窄らしいし堆い」ということは間違っているとしたらそれは堆くない fact10: この星さんは二十二集でない fact11: 仮にこの森銑三著・前掲書が嫌らしいとしたらこの赤身は嫌らしい fact12: 仮に何らかのものは二十二集でないとしたら「申し訳無くないかもしくは右冠動脈であるかあるいはどちらもだ」ということは成り立つということはない fact13: もしこの赤身が嫌らしいならこの星さんは入場駅である fact14: もし仮にあの専攻部は右冠動脈だとすると「熟達するしまた申し訳無い」ということは事実と異なる fact15: 堆くないものは二十二集であるしさらに右冠動脈だ fact16: もしもなにかは申し訳無いとすると「それは成り行く」ということは真実だ fact17: もし仮にこの星さんが両軍だがしかしそれがチョイスしないとするとこの交付金はチョイスしない fact18: もしこの交付金が成り行けばこの星さんは申し訳無くないかあるいは右冠動脈であるかどちらもだ
void -> assump1: 以下のように仮定する。あの専攻部は熟達する; fact1 & assump1 -> int1: 「あの専攻部は歌い終わるがし易いということはない」ということは間違っている; int1 & fact8 -> int2: この交付金は成り行く; int2 & fact18 -> int3: この星さんは申し訳無くないかまたは右冠動脈であるか両方である; fact12 -> int4: 「もしこの星さんは二十二集だということはないとすれば「この星さんは申し訳無くないかあるいは右冠動脈であるかあるいは両方ともだ」ということは成り立たない」ということは間違っていない; fact10 & int4 -> int5: 「この星さんは申し訳無くないかそれは右冠動脈であるかあるいはどちらもである」ということは事実でない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
あの専攻部は熟達する
fact23 -> int7: もし仮にあの専攻部が成り行くとしたらそれは熟達する; fact28 -> int8: 「あの専攻部が申し訳無いとしたらあの専攻部は成り行く」ということは真実である; fact26 -> int9: この交付金が堆くないとしたらそれは二十二集であるしそれは右冠動脈である; fact19 -> int10: もし仮に「この交付金は見窄らしいししかも堆い」ということは成り立たないならば堆くない; fact24 -> int11: もしこの星さんが入場駅であるとすれば両軍であるしかつチョイスしない; fact20 & fact22 -> int12: この赤身は嫌らしい; fact21 & int12 -> int13: この星さんは入場駅だ; int11 & int13 -> int14: この星さんは両軍だ一方でチョイスするということはない; fact25 & int14 -> int15: 「この交付金はチョイスしない」ということは真実だ; fact27 & int15 -> int16: 「この交付金は見窄らしいしそれにそれは堆い」ということは成り立たない; int10 & int16 -> int17: この交付金は堆くない; int9 & int17 -> int18: この交付金は二十二集であるし右冠動脈である; int18 -> int19: この交付金は右冠動脈である; int19 -> int20: なにがしかの物は右冠動脈だ;
$facts$ = fact1: もし仮にあの専攻部は熟達するなら「それは歌い終わるしまたそれはし易いということはない」ということは誤っている fact2: この森銑三著・前掲書は嫌らしい fact3: もしもこの交付金は熟達するということはないとすると「あの専攻部は伝わり難くないかもしくは成り行くかあるいはどちらもだ」ということは偽である fact4: 入場駅は両軍だけれどチョイスしない fact5: 仮に「あの専攻部は伝わり難くないかまたは成り行くかまたは両方である」ということは間違いだとすればあの星さんは伝わり難くない fact6: もしもこの交付金はチョイスしないとすれば「それは見窄らしいしかつそれは堆い」ということは間違いである fact7: なにかは成り行けばそれは熟達する fact8: 仮に「あの専攻部は歌い終わるけれどし易くない」ということは成り立つということはないとしたらこの交付金は成り行く fact9: もし仮に「なにがしかのものは見窄らしいし堆い」ということは間違っているとしたらそれは堆くない fact10: この星さんは二十二集でない fact11: 仮にこの森銑三著・前掲書が嫌らしいとしたらこの赤身は嫌らしい fact12: 仮に何らかのものは二十二集でないとしたら「申し訳無くないかもしくは右冠動脈であるかあるいはどちらもだ」ということは成り立つということはない fact13: もしこの赤身が嫌らしいならこの星さんは入場駅である fact14: もし仮にあの専攻部は右冠動脈だとすると「熟達するしまた申し訳無い」ということは事実と異なる fact15: 堆くないものは二十二集であるしさらに右冠動脈だ fact16: もしもなにかは申し訳無いとすると「それは成り行く」ということは真実だ fact17: もし仮にこの星さんが両軍だがしかしそれがチョイスしないとするとこの交付金はチョイスしない fact18: もしこの交付金が成り行けばこの星さんは申し訳無くないかあるいは右冠動脈であるかどちらもだ ; $hypothesis$ = あの専攻部は熟達する ; $proof$ = 
void -> assump1: 以下のように仮定する。あの専攻部は熟達する; fact1 & assump1 -> int1: 「あの専攻部は歌い終わるがし易いということはない」ということは間違っている; int1 & fact8 -> int2: この交付金は成り行く; int2 & fact18 -> int3: この星さんは申し訳無くないかまたは右冠動脈であるか両方である; fact12 -> int4: 「もしこの星さんは二十二集だということはないとすれば「この星さんは申し訳無くないかあるいは右冠動脈であるかあるいは両方ともだ」ということは成り立たない」ということは間違っていない; fact10 & int4 -> int5: 「この星さんは申し訳無くないかそれは右冠動脈であるかあるいはどちらもである」ということは事実でない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: もし仮にあの専攻部は熟達するなら「それは歌い終わるしまたそれはし易いということはない」ということは誤っている
事実2: この森銑三著・前掲書は嫌らしい
事実3: もしもこの交付金は熟達するということはないとすると「あの専攻部は伝わり難くないかもしくは成り行くかあるいはどちらもだ」ということは偽である
事実4: 入場駅は両軍だけれどチョイスしない
事実5: 仮に「あの専攻部は伝わり難くないかまたは成り行くかまたは両方である」ということは間違いだとすればあの星さんは伝わり難くない
事実6: もしもこの交付金はチョイスしないとすれば「それは見窄らしいしかつそれは堆い」ということは間違いである
事実7: なにかは成り行けばそれは熟達する
事実8: 仮に「あの専攻部は歌い終わるけれどし易くない」ということは成り立つということはないとしたらこの交付金は成り行く
事実9: もし仮に「なにがしかのものは見窄らしいし堆い」ということは間違っているとしたらそれは堆くない
事実10: この星さんは二十二集でない
事実11: 仮にこの森銑三著・前掲書が嫌らしいとしたらこの赤身は嫌らしい
事実12: 仮に何らかのものは二十二集でないとしたら「申し訳無くないかもしくは右冠動脈であるかあるいはどちらもだ」ということは成り立つということはない
事実13: もしこの赤身が嫌らしいならこの星さんは入場駅である
事実14: もし仮にあの専攻部は右冠動脈だとすると「熟達するしまた申し訳無い」ということは事実と異なる
事実15: 堆くないものは二十二集であるしさらに右冠動脈だ
事実16: もしもなにかは申し訳無いとすると「それは成り行く」ということは真実だ
事実17: もし仮にこの星さんが両軍だがしかしそれがチョイスしないとするとこの交付金はチョイスしない
事実18: もしこの交付金が成り行けばこの星さんは申し訳無くないかあるいは右冠動脈であるかどちらもだ

仮説: あの専攻部は熟達する
1. 仮定1: 以下のように仮定する。あの専攻部は熟達する
2. 事実1と仮定1から、推論1: "「あの専攻部は歌い終わるがし易いということはない」ということは間違っている"が導かれる
3. 推論1と事実8から、推論2: "この交付金は成り行く"が導かれる
4. 推論2と事実18から、推論3: "この星さんは申し訳無くないかまたは右冠動脈であるか両方である"が導かれる
5. 事実12から、推論4: "「もしこの星さんは二十二集だということはないとすれば「この星さんは申し訳無くないかあるいは右冠動脈であるかあるいは両方ともだ」ということは成り立たない」ということは間違っていない"が導かれる
6. 事実10と推論4から、推論5: "「この星さんは申し訳無くないかそれは右冠動脈であるかあるいはどちらもである」ということは事実でない"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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