その御正月はし掛けるしそれに二市だ
fact1: あのバナーはツラン民族でないならば「あの最強者はツラン民族であるし更にそれは美々しい」ということは間違いである fact2: あの最強者は冬らしい一方でそれは二市でない fact3: もし仮にあの最強者はし掛けないならば「あのバナーはし掛けるししかもツラン民族だ」ということは誤っている fact4: もしあのバナーは冬らしくないとしたら「あの最強者は冬らしいししかもツラン民族だ」ということは成り立たない fact5: もし仮にあのバナーはし掛けないとすれば「その御正月はし掛けるししかもそれは二市だ」ということは間違いである fact6: その御正月は茶葉内だしし掛ける fact7: 「その御正月はし掛けるし更にそれは冬らしい」ということは成り立たない fact8: もしも「あのバナーはし掛ける」ということは事実だとすればそれは装甲服でツラン民族でない fact9: その御正月は構造上である一方で白っぽくない fact10: 仮にあのバナーがし掛けるとすると装甲服だ fact11: その御正月は装甲服でない fact12: この訛りは美々しいけど青函トンネルでない fact13: あの最強者は美々しいしさらに冬らしい fact14: 仮にあのバナーが二市だとすればそれはツラン民族だ一方でし掛けない fact15: あの最強者は冬らしいがそれはツラン民族でない fact16: あの最強者はし掛ける fact17: 「あの相続は美々しい」ということは確かである fact18: 「「なにかは美々しかないけれどそれは冬らしい」ということは事実である」ということは間違いであるならばそれはし掛ける fact19: もしあのバナーが装甲服だけどツラン民族であるということはないとするとあの最強者は美々しかない fact20: もし仮にその御正月が二市であるけどそれはし掛けないとしたら「あのバナーは美々しいということはない」ということは正しい fact21: 仮に何かは就業するとしたら「それは二市であるけれど重過ぎない」ということは成り立つということはない fact22: あのバナーが二市だとするとツラン民族であるが美々しかない fact23: もし仮に「「二市であるし更に重過ぎない」ということは嘘である」ものがあるとすればあの破勝地蔵は二市であるということはない fact24: あのバナーは装甲服であるけど美々しいということはない
void -> assump1: 以下のように仮定する。あのバナーはし掛ける; fact8 & assump1 -> int1: あのバナーは装甲服だがツラン民族でない; int1 & fact19 -> int2: あの最強者は美々しかない; fact13 -> int3: あの最強者は美々しい; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あのバナーはし掛けない; int5 & fact5 -> hypothesis;
この破勝地蔵はし掛ける
fact26 -> int6: 「この破勝地蔵は美々しかないが冬らしい」ということは事実と異なるなら「それはし掛ける」ということは成り立つ; fact25 -> int7: もしあの最強者は就業すれば「それは二市であるけれど重過ぎない」ということは成り立たない;
$facts$ = fact1: あのバナーはツラン民族でないならば「あの最強者はツラン民族であるし更にそれは美々しい」ということは間違いである fact2: あの最強者は冬らしい一方でそれは二市でない fact3: もし仮にあの最強者はし掛けないならば「あのバナーはし掛けるししかもツラン民族だ」ということは誤っている fact4: もしあのバナーは冬らしくないとしたら「あの最強者は冬らしいししかもツラン民族だ」ということは成り立たない fact5: もし仮にあのバナーはし掛けないとすれば「その御正月はし掛けるししかもそれは二市だ」ということは間違いである fact6: その御正月は茶葉内だしし掛ける fact7: 「その御正月はし掛けるし更にそれは冬らしい」ということは成り立たない fact8: もしも「あのバナーはし掛ける」ということは事実だとすればそれは装甲服でツラン民族でない fact9: その御正月は構造上である一方で白っぽくない fact10: 仮にあのバナーがし掛けるとすると装甲服だ fact11: その御正月は装甲服でない fact12: この訛りは美々しいけど青函トンネルでない fact13: あの最強者は美々しいしさらに冬らしい fact14: 仮にあのバナーが二市だとすればそれはツラン民族だ一方でし掛けない fact15: あの最強者は冬らしいがそれはツラン民族でない fact16: あの最強者はし掛ける fact17: 「あの相続は美々しい」ということは確かである fact18: 「「なにかは美々しかないけれどそれは冬らしい」ということは事実である」ということは間違いであるならばそれはし掛ける fact19: もしあのバナーが装甲服だけどツラン民族であるということはないとするとあの最強者は美々しかない fact20: もし仮にその御正月が二市であるけどそれはし掛けないとしたら「あのバナーは美々しいということはない」ということは正しい fact21: 仮に何かは就業するとしたら「それは二市であるけれど重過ぎない」ということは成り立つということはない fact22: あのバナーが二市だとするとツラン民族であるが美々しかない fact23: もし仮に「「二市であるし更に重過ぎない」ということは嘘である」ものがあるとすればあの破勝地蔵は二市であるということはない fact24: あのバナーは装甲服であるけど美々しいということはない ; $hypothesis$ = その御正月はし掛けるしそれに二市だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あのバナーはし掛ける; fact8 & assump1 -> int1: あのバナーは装甲服だがツラン民族でない; int1 & fact19 -> int2: あの最強者は美々しかない; fact13 -> int3: あの最強者は美々しい; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あのバナーはし掛けない; int5 & fact5 -> hypothesis; __DISPROVED__
事実1: あのバナーはツラン民族でないならば「あの最強者はツラン民族であるし更にそれは美々しい」ということは間違いである
事実2: あの最強者は冬らしい一方でそれは二市でない
事実3: もし仮にあの最強者はし掛けないならば「あのバナーはし掛けるししかもツラン民族だ」ということは誤っている
事実4: もしあのバナーは冬らしくないとしたら「あの最強者は冬らしいししかもツラン民族だ」ということは成り立たない
事実5: もし仮にあのバナーはし掛けないとすれば「その御正月はし掛けるししかもそれは二市だ」ということは間違いである
事実6: その御正月は茶葉内だしし掛ける
事実7: 「その御正月はし掛けるし更にそれは冬らしい」ということは成り立たない
事実8: もしも「あのバナーはし掛ける」ということは事実だとすればそれは装甲服でツラン民族でない
事実9: その御正月は構造上である一方で白っぽくない
事実10: 仮にあのバナーがし掛けるとすると装甲服だ
事実11: その御正月は装甲服でない
事実12: この訛りは美々しいけど青函トンネルでない
事実13: あの最強者は美々しいしさらに冬らしい
事実14: 仮にあのバナーが二市だとすればそれはツラン民族だ一方でし掛けない
事実15: あの最強者は冬らしいがそれはツラン民族でない
事実16: あの最強者はし掛ける
事実17: 「あの相続は美々しい」ということは確かである
事実18: 「「なにかは美々しかないけれどそれは冬らしい」ということは事実である」ということは間違いであるならばそれはし掛ける
事実19: もしあのバナーが装甲服だけどツラン民族であるということはないとするとあの最強者は美々しかない
事実20: もし仮にその御正月が二市であるけどそれはし掛けないとしたら「あのバナーは美々しいということはない」ということは正しい
事実21: 仮に何かは就業するとしたら「それは二市であるけれど重過ぎない」ということは成り立つということはない
事実22: あのバナーが二市だとするとツラン民族であるが美々しかない
事実23: もし仮に「「二市であるし更に重過ぎない」ということは嘘である」ものがあるとすればあの破勝地蔵は二市であるということはない
事実24: あのバナーは装甲服であるけど美々しいということはない

仮説: その御正月はし掛けるしそれに二市だ
1. 仮定1: 以下のように仮定する。あのバナーはし掛ける
2. 事実8と仮定1から、推論1: "あのバナーは装甲服だがツラン民族でない"が導かれる
3. 推論1と事実19から、推論2: "あの最強者は美々しかない"が導かれる
4. 事実13から、推論3: "あの最強者は美々しい"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あのバナーはし掛けない"が導かれる
7. 推論5と事実5から、仮説が否定される

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