この幼少時代は狭し
fact1: 仮になにかは首尾良くないとしたら「勇ましいしその上投光照明である」ということは誤りだ fact2: あの回診有りは可愛らしい fact3: どれもこれもは御前会議でなくて突発事態でない fact4: もし仮にそのＮＨＫスペシャルが後章でないしそれに保険適用しないとしたらあの回診有りは首尾良いということはない fact5: もしもなんらかの物は御前会議でないとすれば「それは可愛らしいということはないが累計だ」ということは本当でない fact6: 仮にそのＮＨＫスペシャルが可愛らしいということはないならこの辞退は投光照明で首尾良い fact7: もし仮にそのＮＨＫスペシャルが後章だが保険適用しないならあの回診有りは首尾良いということはない fact8: 勇ましくらないものは狭し fact9: 「そのＮＨＫスペシャルは後章だということはないし更に保険適用しない」ということは成り立たないとすると「それは投光照明だ」ということは本当だ fact10: 仮にこの幼少時代が保険適用しないし累計でないとしたらそのＮＨＫスペシャルは狭しない fact11: そのＮＨＫスペシャルは勇ましいしさらに累計である fact12: もしも何らかのものが投光照明なら勇ましかない fact13: もしなにかは首尾良いということはないが可愛らしいとすればこの幼少時代は狭しない
void -> assump1: 以下のように仮定する。「そのＮＨＫスペシャルは後章でなくて保険適用しない」ということは誤っている; fact9 & assump1 -> int1: そのＮＨＫスペシャルは投光照明だ; fact12 -> int2: もし仮にそのＮＨＫスペシャルは投光照明だとすれば「それは勇ましくらない」ということは成り立つ; int1 & int2 -> int3: そのＮＨＫスペシャルは勇ましかない; fact11 -> int4: そのＮＨＫスペシャルは勇ましい; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: そのＮＨＫスペシャルは後章であるということはないしそれは保険適用しない; int6 & fact4 -> int7: あの回診有りは首尾良いということはない; int7 & fact2 -> int8: あの回診有りは首尾良くないけどそれは可愛らしい; int8 -> int9: 何かは首尾良くないけれど可愛らしい; int9 & fact13 -> hypothesis;
この幼少時代は狭し
fact16 -> int10: 「この幼少時代が勇ましくらないとしたらこの幼少時代は狭し」ということは本当である; fact14 -> int11: もしこの幼少時代は首尾良くないとしたら「勇ましいしその上投光照明だ」ということは事実と異なる; fact17 -> int12: もし仮にあの回診有りは御前会議でないとしたら「それは可愛らしくなくて累計だ」ということは嘘である; fact15 -> int13: この買い気は御前会議でなくてそれは突発事態でない; int13 -> int14: この買い気は御前会議だということはない; int14 -> int15: どれもこれもは御前会議であるということはない; int15 -> int16: あの回診有りは御前会議でない; int12 & int16 -> int17: 「「あの回診有りは可愛らしくないけど累計だ」ということは成り立たない」ということは正しい; int17 -> int18: 可愛らしくない累計だというものはない; int18 -> int19: 「そのＮＨＫスペシャルは可愛らしくないが累計である」ということは誤っている;
$facts$ = fact1: 仮になにかは首尾良くないとしたら「勇ましいしその上投光照明である」ということは誤りだ fact2: あの回診有りは可愛らしい fact3: どれもこれもは御前会議でなくて突発事態でない fact4: もし仮にそのＮＨＫスペシャルが後章でないしそれに保険適用しないとしたらあの回診有りは首尾良いということはない fact5: もしもなんらかの物は御前会議でないとすれば「それは可愛らしいということはないが累計だ」ということは本当でない fact6: 仮にそのＮＨＫスペシャルが可愛らしいということはないならこの辞退は投光照明で首尾良い fact7: もし仮にそのＮＨＫスペシャルが後章だが保険適用しないならあの回診有りは首尾良いということはない fact8: 勇ましくらないものは狭し fact9: 「そのＮＨＫスペシャルは後章だということはないし更に保険適用しない」ということは成り立たないとすると「それは投光照明だ」ということは本当だ fact10: 仮にこの幼少時代が保険適用しないし累計でないとしたらそのＮＨＫスペシャルは狭しない fact11: そのＮＨＫスペシャルは勇ましいしさらに累計である fact12: もしも何らかのものが投光照明なら勇ましかない fact13: もしなにかは首尾良いということはないが可愛らしいとすればこの幼少時代は狭しない ; $hypothesis$ = この幼少時代は狭し ; $proof$ = 
void -> assump1: 以下のように仮定する。「そのＮＨＫスペシャルは後章でなくて保険適用しない」ということは誤っている; fact9 & assump1 -> int1: そのＮＨＫスペシャルは投光照明だ; fact12 -> int2: もし仮にそのＮＨＫスペシャルは投光照明だとすれば「それは勇ましくらない」ということは成り立つ; int1 & int2 -> int3: そのＮＨＫスペシャルは勇ましかない; fact11 -> int4: そのＮＨＫスペシャルは勇ましい; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: そのＮＨＫスペシャルは後章であるということはないしそれは保険適用しない; int6 & fact4 -> int7: あの回診有りは首尾良いということはない; int7 & fact2 -> int8: あの回診有りは首尾良くないけどそれは可愛らしい; int8 -> int9: 何かは首尾良くないけれど可愛らしい; int9 & fact13 -> hypothesis; __DISPROVED__
事実1: 仮になにかは首尾良くないとしたら「勇ましいしその上投光照明である」ということは誤りだ
事実2: あの回診有りは可愛らしい
事実3: どれもこれもは御前会議でなくて突発事態でない
事実4: もし仮にそのＮＨＫスペシャルが後章でないしそれに保険適用しないとしたらあの回診有りは首尾良いということはない
事実5: もしもなんらかの物は御前会議でないとすれば「それは可愛らしいということはないが累計だ」ということは本当でない
事実6: 仮にそのＮＨＫスペシャルが可愛らしいということはないならこの辞退は投光照明で首尾良い
事実7: もし仮にそのＮＨＫスペシャルが後章だが保険適用しないならあの回診有りは首尾良いということはない
事実8: 勇ましくらないものは狭し
事実9: 「そのＮＨＫスペシャルは後章だということはないし更に保険適用しない」ということは成り立たないとすると「それは投光照明だ」ということは本当だ
事実10: 仮にこの幼少時代が保険適用しないし累計でないとしたらそのＮＨＫスペシャルは狭しない
事実11: そのＮＨＫスペシャルは勇ましいしさらに累計である
事実12: もしも何らかのものが投光照明なら勇ましかない
事実13: もしなにかは首尾良いということはないが可愛らしいとすればこの幼少時代は狭しない

仮説: この幼少時代は狭し
1. 仮定1: 以下のように仮定する。「そのＮＨＫスペシャルは後章でなくて保険適用しない」ということは誤っている
2. 事実9と仮定1から、推論1: "そのＮＨＫスペシャルは投光照明だ"が導かれる
3. 事実12から、推論2: "もし仮にそのＮＨＫスペシャルは投光照明だとすれば「それは勇ましくらない」ということは成り立つ"が導かれる
4. 推論1と推論2から、推論3: "そのＮＨＫスペシャルは勇ましかない"が導かれる
5. 事実11から、推論4: "そのＮＨＫスペシャルは勇ましい"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "そのＮＨＫスペシャルは後章であるということはないしそれは保険適用しない"が導かれる
8. 推論6と事実4から、推論7: "あの回診有りは首尾良いということはない"が導かれる
9. 推論7と事実2から、推論8: "あの回診有りは首尾良くないけどそれは可愛らしい"が導かれる
10. 推論8から、推論9: "何かは首尾良くないけれど可愛らしい"が導かれる
11. 推論9と事実13から、仮説が否定される

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