あの少年時代は返送する
fact1: あの大村基地は抜き去らない fact2: なんらかのものが入庁するということはないとすれば返送するしまたそれは移り難い fact3: もしもなんらかの物はプレミアムでないなら「総和しない」ということは確かである fact4: もしもなにがしかの物が入庁しないとしたらそれは返送するか移り難いかまたは両方である fact5: もしあの大村基地が通い慣れるけれどそれが総和しないとするとそれは事故死する fact6: 「もしあの大村基地が入庁するしそれが侘しいとしたらあの少年時代は入庁しない」ということは事実だ fact7: もし仮にこの葬儀社が入庁しないならばあの大村基地は入庁するということはない fact8: 「凄むし御労しくない」ものはある fact9: その綿糸がプレミアムでないとすればこの葬儀社は総和する fact10: もしもその綿糸が通い慣れないならそれは事故死しないししかも総和しない fact11: もし仮にその綿糸が通い慣れないとしたらこの葬儀社は総和する fact12: その綿糸は凄むということはない fact13: この葬儀社は返送する fact14: 「あの少年時代は入庁する」ということは正しい fact15: あの少年時代は移り難いしさらに入庁する fact16: もしあの大村基地は侘しくないとすれば「それは抜き去らない」ということは事実である fact17: 仮にあの大村基地が事故死するならそれは抜き去らない fact18: 仮にその綿糸が凄まないとするとそれはプレミアムでないかもしくは通い慣れないか両方ともだ fact19: あの大村基地は通い慣れる fact20: もしもこの葬儀社は抜き去らないならば「それは総和しないか事故死しないか両方ともである」ということは成り立つ fact21: 仮に「あの大村基地は事故死するかあるいは抜き去るかまたはどちらもだ」ということは誤っているとすればこの葬儀社は総和しない fact22: もしもあの少年時代が移り難いしその上それが返送するとしたらあの大村基地は侘しくない fact23: もしもその綿糸が抜き去らないならこの葬儀社は入庁しない一方で侘しい fact24: もしもなんらかの物は事故死しなくて総和しないならば抜き去らない fact25: あの大村基地は侘しくないとすれば「それは事故死するかまたは抜き去るかまたはどちらもである」ということは成り立たない
fact15 -> int1: あの少年時代は移り難い; void -> assump1: 以下のように仮定する。あの少年時代は返送する; int1 & assump1 -> int2: あの少年時代は移り難いし返送する; int2 & fact22 -> int3: 「あの大村基地は侘しいということはない」ということは本当である; int3 & fact25 -> int4: 「あの大村基地は事故死するか抜き去るかあるいは両方である」ということは誤りだ; int4 & fact21 -> int5: この葬儀社は総和しない; fact12 & fact18 -> int6: その綿糸はプレミアムでないかまたは通い慣れないかまたはどちらもだ; fact9 & fact11 & int6 -> int7: この葬儀社は総和する; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
あの少年時代は返送する
fact28 -> int9: もしもあの少年時代が入庁しないとしたらそれは返送するし移り難い; fact29 -> int10: 「あの大村基地はプレミアムでない」ということは真実だとすると総和しない;
$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: もしもなんらかの物は事故死しなくて総和しないならば抜き去らない fact25: あの大村基地は侘しくないとすれば「それは事故死するかまたは抜き去るかまたはどちらもである」ということは成り立たない ; $hypothesis$ = あの少年時代は返送する ; $proof$ = 
fact15 -> int1: あの少年時代は移り難い; void -> assump1: 以下のように仮定する。あの少年時代は返送する; int1 & assump1 -> int2: あの少年時代は移り難いし返送する; int2 & fact22 -> int3: 「あの大村基地は侘しいということはない」ということは本当である; int3 & fact25 -> int4: 「あの大村基地は事故死するか抜き去るかあるいは両方である」ということは誤りだ; int4 & fact21 -> int5: この葬儀社は総和しない; fact12 & fact18 -> int6: その綿糸はプレミアムでないかまたは通い慣れないかまたはどちらもだ; fact9 & fact11 & int6 -> int7: この葬儀社は総和する; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> 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: もしもなんらかの物は事故死しなくて総和しないならば抜き去らない
事実25: あの大村基地は侘しくないとすれば「それは事故死するかまたは抜き去るかまたはどちらもである」ということは成り立たない

仮説: あの少年時代は返送する
1. 事実15から、推論1: "あの少年時代は移り難い"が導かれる
2. 仮定1: 以下のように仮定する。あの少年時代は返送する
3. 推論1と仮定1から、推論2: "あの少年時代は移り難いし返送する"が導かれる
4. 推論2と事実22から、推論3: "「あの大村基地は侘しいということはない」ということは本当である"が導かれる
5. 推論3と事実25から、推論4: "「あの大村基地は事故死するか抜き去るかあるいは両方である」ということは誤りだ"が導かれる
6. 推論4と事実21から、推論5: "この葬儀社は総和しない"が導かれる
7. 事実12と事実18から、推論6: "その綿糸はプレミアムでないかまたは通い慣れないかまたはどちらもだ"が導かれる
8. 事実9と事実11と推論6から、推論7: "この葬儀社は総和する"が導かれる
9. 推論5と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が否定される

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