このゲーム中は三Ｎである
fact1: あの城中町は三Ｎである fact2: このゲーム中は残り易い fact3: あの東族古伝いは歩き回れるとしたら「「それは繰り返し繰り返さない一方で吸着剤だ」ということは誤っていない」ということは間違っている fact4: もしも何かは詮無いとしたら「それは温い」ということは事実だ fact5: もしあの城中町は吸着剤であるとしたら詮無い fact6: もしその正常流量が残り易いとすればこのゲーム中は三Ｎでない fact7: もし仮に「あの城中町は温い」ということは成り立つとしたらこのゲーム中は離す fact8: もし仮にあの城中町が温いししかも離せばその正常流量は詮無くない fact9: あの城中町が温くないとしたらその正常流量は吸着剤だ fact10: もしなにがしかの物は温いとしたら「それは詮無い一方で残り易くない」ということは嘘だ fact11: もし仮にあの城中町が吸着剤だということはなくて温くないとするとその正常流量は温くない fact12: その正常流量は三Ｎでない fact13: 仮にこのゲーム中が吸着剤なら三Ｎである fact14: 「その正常流量は三Ｎでないがそれは残り易い」ということは成り立つということはないならこの呂君は三Ｎだ fact15: その肝臓癌がバブル経済期なら動員である fact16: もし仮にその正常流量が残り易くないとするとあの城中町は詮無い fact17: もしこのゲーム中が温くないとしたらあの城中町は吸着剤である fact18: もしとある物は労働契約であるならばそれは労する fact19: その正常流量は残り易くない fact20: もしあの城中町は離すとすれば「それは詮無い」ということは成り立つ fact21: もし仮になにがしかの物が離せばそれは吸着剤である fact22: もしもなんらかの物が詮無いとすればそれは三Ｎだ fact23: もしもなにがしかのものが離せばそれは残り易い
fact16 & fact19 -> int1: あの城中町は詮無い; fact4 -> int2: もしあの城中町が詮無いとすると温い; int1 & int2 -> int3: あの城中町は温い; int3 & fact7 -> int4: このゲーム中は離す; fact21 -> int5: もしこのゲーム中が離すならそれは吸着剤だ; int4 & int5 -> int6: このゲーム中は吸着剤だ; int6 & fact13 -> hypothesis;
このゲーム中は三Ｎでない
fact24 -> 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: もしもなにがしかのものが離せばそれは残り易い ; $hypothesis$ = このゲーム中は三Ｎである ; $proof$ = 
fact16 & fact19 -> int1: あの城中町は詮無い; fact4 -> int2: もしあの城中町が詮無いとすると温い; int1 & int2 -> int3: あの城中町は温い; int3 & fact7 -> int4: このゲーム中は離す; fact21 -> int5: もしこのゲーム中が離すならそれは吸着剤だ; int4 & int5 -> int6: このゲーム中は吸着剤だ; int6 & fact13 -> hypothesis; __PROVED__
事実1: あの城中町は三Ｎである
事実2: このゲーム中は残り易い
事実3: あの東族古伝いは歩き回れるとしたら「「それは繰り返し繰り返さない一方で吸着剤だ」ということは誤っていない」ということは間違っている
事実4: もしも何かは詮無いとしたら「それは温い」ということは事実だ
事実5: もしあの城中町は吸着剤であるとしたら詮無い
事実6: もしその正常流量が残り易いとすればこのゲーム中は三Ｎでない
事実7: もし仮に「あの城中町は温い」ということは成り立つとしたらこのゲーム中は離す
事実8: もし仮にあの城中町が温いししかも離せばその正常流量は詮無くない
事実9: あの城中町が温くないとしたらその正常流量は吸着剤だ
事実10: もしなにがしかの物は温いとしたら「それは詮無い一方で残り易くない」ということは嘘だ
事実11: もし仮にあの城中町が吸着剤だということはなくて温くないとするとその正常流量は温くない
事実12: その正常流量は三Ｎでない
事実13: 仮にこのゲーム中が吸着剤なら三Ｎである
事実14: 「その正常流量は三Ｎでないがそれは残り易い」ということは成り立つということはないならこの呂君は三Ｎだ
事実15: その肝臓癌がバブル経済期なら動員である
事実16: もし仮にその正常流量が残り易くないとするとあの城中町は詮無い
事実17: もしこのゲーム中が温くないとしたらあの城中町は吸着剤である
事実18: もしとある物は労働契約であるならばそれは労する
事実19: その正常流量は残り易くない
事実20: もしあの城中町は離すとすれば「それは詮無い」ということは成り立つ
事実21: もし仮になにがしかの物が離せばそれは吸着剤である
事実22: もしもなんらかの物が詮無いとすればそれは三Ｎだ
事実23: もしもなにがしかのものが離せばそれは残り易い

仮説: このゲーム中は三Ｎである
1. 事実16と事実19から、推論1: "あの城中町は詮無い"が導かれる
2. 事実4から、推論2: "もしあの城中町が詮無いとすると温い"が導かれる
3. 推論1と推論2から、推論3: "あの城中町は温い"が導かれる
4. 推論3と事実7から、推論4: "このゲーム中は離す"が導かれる
5. 事実21から、推論5: "もしこのゲーム中が離すならそれは吸着剤だ"が導かれる
6. 推論4と推論5から、推論6: "このゲーム中は吸着剤だ"が導かれる
7. 推論6と事実13から、仮説が導かれる

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