この概数は直通出来ない
fact1: もしもあの都市郊外は病死しないとすれば「この概数は記述する」ということは本当だ fact2: あの反射は立て難い fact3: もしその遊びは法律用語であるとすると「「あの都市郊外は力強くないか裏切るかあるいは両方である」ということは事実だ」ということは成り立つということはない fact4: 仮に「なにがしかのものは病死するしそれは直通出来る」ということは成り立つということはないとすると直通出来ない fact5: もし仮にあの反射が記述するということはないならこの概数は立て難い fact6: もし仮にあの都市郊外が直通出来ればこの概数は病死しない fact7: もし仮に「あの都市郊外は力強くないかもしくはそれは裏切るかまたは両方ともだ」ということは嘘であるとするとこの概数は立て難い fact8: 何らかの物が病死しないとすれば記述するししかもそれは立て難い fact9: この働き詰めは病死する fact10: あの都市郊外が病死しないとすればあの概数は記述するし直通出来る fact11: この概数は記述する fact12: もし仮に立て難い物が病死するとすればそれは直通出来ない fact13: 「あの反射は直通出来ない」ということは成り立つ fact14: この概数は病死する fact15: この会所は立て難い fact16: 仮にあの反射が立て難いとするとあの都市郊外は病死しない
fact16 & fact2 -> int1: あの都市郊外は病死しない; int1 & fact10 -> int2: この概数は記述するし直通出来る; int2 -> hypothesis;
このランドリーは想定し難いし記述する
fact17 -> int3: もしもあの反射が病死しないとするとそれは記述するし更に立て難い;
$facts$ = fact1: もしもあの都市郊外は病死しないとすれば「この概数は記述する」ということは本当だ fact2: あの反射は立て難い fact3: もしその遊びは法律用語であるとすると「「あの都市郊外は力強くないか裏切るかあるいは両方である」ということは事実だ」ということは成り立つということはない fact4: 仮に「なにがしかのものは病死するしそれは直通出来る」ということは成り立つということはないとすると直通出来ない fact5: もし仮にあの反射が記述するということはないならこの概数は立て難い fact6: もし仮にあの都市郊外が直通出来ればこの概数は病死しない fact7: もし仮に「あの都市郊外は力強くないかもしくはそれは裏切るかまたは両方ともだ」ということは嘘であるとするとこの概数は立て難い fact8: 何らかの物が病死しないとすれば記述するししかもそれは立て難い fact9: この働き詰めは病死する fact10: あの都市郊外が病死しないとすればあの概数は記述するし直通出来る fact11: この概数は記述する fact12: もし仮に立て難い物が病死するとすればそれは直通出来ない fact13: 「あの反射は直通出来ない」ということは成り立つ fact14: この概数は病死する fact15: この会所は立て難い fact16: 仮にあの反射が立て難いとするとあの都市郊外は病死しない ; $hypothesis$ = この概数は直通出来ない ; $proof$ = 
fact16 & fact2 -> int1: あの都市郊外は病死しない; int1 & fact10 -> int2: この概数は記述するし直通出来る; int2 -> hypothesis; __DISPROVED__
事実1: もしもあの都市郊外は病死しないとすれば「この概数は記述する」ということは本当だ
事実2: あの反射は立て難い
事実3: もしその遊びは法律用語であるとすると「「あの都市郊外は力強くないか裏切るかあるいは両方である」ということは事実だ」ということは成り立つということはない
事実4: 仮に「なにがしかのものは病死するしそれは直通出来る」ということは成り立つということはないとすると直通出来ない
事実5: もし仮にあの反射が記述するということはないならこの概数は立て難い
事実6: もし仮にあの都市郊外が直通出来ればこの概数は病死しない
事実7: もし仮に「あの都市郊外は力強くないかもしくはそれは裏切るかまたは両方ともだ」ということは嘘であるとするとこの概数は立て難い
事実8: 何らかの物が病死しないとすれば記述するししかもそれは立て難い
事実9: この働き詰めは病死する
事実10: あの都市郊外が病死しないとすればあの概数は記述するし直通出来る
事実11: この概数は記述する
事実12: もし仮に立て難い物が病死するとすればそれは直通出来ない
事実13: 「あの反射は直通出来ない」ということは成り立つ
事実14: この概数は病死する
事実15: この会所は立て難い
事実16: 仮にあの反射が立て難いとするとあの都市郊外は病死しない

仮説: この概数は直通出来ない
1. 事実16と事実2から、推論1: "あの都市郊外は病死しない"が導かれる
2. 推論1と事実10から、推論2: "この概数は記述するし直通出来る"が導かれる
3. 推論2から、仮説が否定される

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