あの政治信条は保障しない
fact1: もし仮にあの政治信条は五十年前であるならそれは三十分放置後でない fact2: 「あの政治信条は走り易いしかつ五十年前だ」ということは誤りである fact3: その心理主義は紳士らしいけど喜ばしかない fact4: もしも「その心理主義は保障するかまたはそれは喜ばしいか両方である」ということは間違っているならあの政治信条は保障しない fact5: もしもその心理主義が紳士らしいが喜ばしかないならあの政治信条は三十分放置後である fact6: もし仮に「あの政治信条は走り易いけれど五十年前でない」ということは間違いだとするとそれは三十分放置後だということはない fact7: もし仮に走り易い物は五十年前でないとすると「保障する」ということは正しい fact8: 仮にそのジャパンＣがキャッチ出来るしさらに紳士らしいとしたらそのロマンス諸語は紳士らしくない fact9: もし走り易い物は五十年前なら「保障する」ということは成り立つ fact10: もしも「あの政治信条は走り易いししかも五十年前だ」ということは成り立つなら保障する fact11: 出難くないものはキャッチ出来るしさらに紳士らしい fact12: もし利用し辛くないものが冷たくないなら出難いということはない fact13: もしもその心理主義が紳士らしいし更に喜ばしいならあの政治信条は三十分放置後である fact14: このコウボウ麦は籠絡する fact15: もしそのロマンス諸語が紳士らしくないならあの政治信条は喜ばしいけれど保障しない fact16: 仮に「籠絡する」ものがあるとすればその褒美は難し過ぎない fact17: もしも「喜ばしいけど保障しない」ものがあるとしたらその心理主義は三十分放置後だ fact18: あの政治信条は五十年前でない fact19: なにがしかの物が痩せないかまたは絨毯敷でないとしたらそれは冷たくない fact20: もし仮に「難し過ぎない」ものがあるとするとそのジャパンＣは利用し辛くない
void -> assump1: 以下のように仮定する。「あの政治信条は走り易いがしかし五十年前でない」ということは間違っている; fact6 & assump1 -> int1: あの政治信条は三十分放置後でない; fact3 & fact5 -> int2: あの政治信条は三十分放置後だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの政治信条は走り易いがしかし五十年前でない; fact7 -> int5: もしあの政治信条が走り易いけど五十年前でないとすればそれは保障する; int4 & int5 -> hypothesis;
その心理主義は三十分放置後だ
fact26 -> int6: もしそのジャパンＣが出難くないとしたらそれはキャッチ出来るし紳士らしい; fact24 -> int7: もし仮にそのジャパンＣが利用し辛くないし冷たくないとするとそれは出難くない; fact21 -> int8: 「「「籠絡するということはない」ということは成り立つ」ということは嘘な」ものはある; int8 & fact29 -> int9: その褒美は難し過ぎない; int9 -> int10: 「難し過ぎない」ものはある; int10 & fact25 -> int11: そのジャパンＣは利用し辛くない; fact27 -> int12: もし仮にそのジャパンＣは痩せないか絨毯敷でないかもしくは両方ともであるとすればそれは冷たくない;
$facts$ = fact1: もし仮にあの政治信条は五十年前であるならそれは三十分放置後でない fact2: 「あの政治信条は走り易いしかつ五十年前だ」ということは誤りである fact3: その心理主義は紳士らしいけど喜ばしかない fact4: もしも「その心理主義は保障するかまたはそれは喜ばしいか両方である」ということは間違っているならあの政治信条は保障しない fact5: もしもその心理主義が紳士らしいが喜ばしかないならあの政治信条は三十分放置後である fact6: もし仮に「あの政治信条は走り易いけれど五十年前でない」ということは間違いだとするとそれは三十分放置後だということはない fact7: もし仮に走り易い物は五十年前でないとすると「保障する」ということは正しい fact8: 仮にそのジャパンＣがキャッチ出来るしさらに紳士らしいとしたらそのロマンス諸語は紳士らしくない fact9: もし走り易い物は五十年前なら「保障する」ということは成り立つ fact10: もしも「あの政治信条は走り易いししかも五十年前だ」ということは成り立つなら保障する fact11: 出難くないものはキャッチ出来るしさらに紳士らしい fact12: もし利用し辛くないものが冷たくないなら出難いということはない fact13: もしもその心理主義が紳士らしいし更に喜ばしいならあの政治信条は三十分放置後である fact14: このコウボウ麦は籠絡する fact15: もしそのロマンス諸語が紳士らしくないならあの政治信条は喜ばしいけれど保障しない fact16: 仮に「籠絡する」ものがあるとすればその褒美は難し過ぎない fact17: もしも「喜ばしいけど保障しない」ものがあるとしたらその心理主義は三十分放置後だ fact18: あの政治信条は五十年前でない fact19: なにがしかの物が痩せないかまたは絨毯敷でないとしたらそれは冷たくない fact20: もし仮に「難し過ぎない」ものがあるとするとそのジャパンＣは利用し辛くない ; $hypothesis$ = あの政治信条は保障しない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの政治信条は走り易いがしかし五十年前でない」ということは間違っている; fact6 & assump1 -> int1: あの政治信条は三十分放置後でない; fact3 & fact5 -> int2: あの政治信条は三十分放置後だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの政治信条は走り易いがしかし五十年前でない; fact7 -> int5: もしあの政治信条が走り易いけど五十年前でないとすればそれは保障する; int4 & int5 -> hypothesis; __DISPROVED__
事実1: もし仮にあの政治信条は五十年前であるならそれは三十分放置後でない
事実2: 「あの政治信条は走り易いしかつ五十年前だ」ということは誤りである
事実3: その心理主義は紳士らしいけど喜ばしかない
事実4: もしも「その心理主義は保障するかまたはそれは喜ばしいか両方である」ということは間違っているならあの政治信条は保障しない
事実5: もしもその心理主義が紳士らしいが喜ばしかないならあの政治信条は三十分放置後である
事実6: もし仮に「あの政治信条は走り易いけれど五十年前でない」ということは間違いだとするとそれは三十分放置後だということはない
事実7: もし仮に走り易い物は五十年前でないとすると「保障する」ということは正しい
事実8: 仮にそのジャパンＣがキャッチ出来るしさらに紳士らしいとしたらそのロマンス諸語は紳士らしくない
事実9: もし走り易い物は五十年前なら「保障する」ということは成り立つ
事実10: もしも「あの政治信条は走り易いししかも五十年前だ」ということは成り立つなら保障する
事実11: 出難くないものはキャッチ出来るしさらに紳士らしい
事実12: もし利用し辛くないものが冷たくないなら出難いということはない
事実13: もしもその心理主義が紳士らしいし更に喜ばしいならあの政治信条は三十分放置後である
事実14: このコウボウ麦は籠絡する
事実15: もしそのロマンス諸語が紳士らしくないならあの政治信条は喜ばしいけれど保障しない
事実16: 仮に「籠絡する」ものがあるとすればその褒美は難し過ぎない
事実17: もしも「喜ばしいけど保障しない」ものがあるとしたらその心理主義は三十分放置後だ
事実18: あの政治信条は五十年前でない
事実19: なにがしかの物が痩せないかまたは絨毯敷でないとしたらそれは冷たくない
事実20: もし仮に「難し過ぎない」ものがあるとするとそのジャパンＣは利用し辛くない

仮説: あの政治信条は保障しない
1. 仮定1: 以下のように仮定する。「あの政治信条は走り易いがしかし五十年前でない」ということは間違っている
2. 事実6と仮定1から、推論1: "あの政治信条は三十分放置後でない"が導かれる
3. 事実3と事実5から、推論2: "あの政治信条は三十分放置後だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの政治信条は走り易いがしかし五十年前でない"が導かれる
6. 事実7から、推論5: "もしあの政治信条が走り易いけど五十年前でないとすればそれは保障する"が導かれる
7. 推論4と推論5から、仮説が否定される

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