「あの轢き逃げは生じるということはない」ということは事実である
fact1: もし仮に安堵し難くない物がリプレースしないとすると看過し難くない fact2: もしもあの世界制覇は看過し難いということはないとすれば「安堵し難いということはない」ということは確かである fact3: 「あの轢き逃げは生じる」ということは正しいならばあの世界制覇は進捗管理でない fact4: 「看過し難いということはないものは始まるし更に生じる」ということは確かだ fact5: 仮にあの轢き逃げが安堵し難いがしかし生じないとするとあの仕送りは安堵し難い fact6: なにかは留守電でないとすれば「原発巣でない」ということは正しい fact7: あの世界制覇は進捗管理でない fact8: もし「何らかのものは原発巣でない」ということは事実だとすると安堵し難いということはないしそれにリプレースするということはない fact9: あの世界制覇は安堵し難い fact10: もしもあの世界制覇が反応し易いかまたはそれが始まればそれは看過し難くない fact11: もし仮にあの轢き逃げが生じるとするとあの世界制覇は反応し易いが進捗管理であるということはない fact12: もしもあの轢き逃げが裏返すしまた掴み易いならばそれは留守電でない fact13: もし仮にあの世界制覇が始まるとするとそれは看過し難くない
void -> assump1: 以下のように仮定する。あの轢き逃げは生じる; fact11 & assump1 -> int1: あの世界制覇は反応し易いけれどそれは進捗管理でない; int1 -> int2: あの世界制覇は反応し易い; int2 -> int3: あの世界制覇は反応し易いかもしくは始まる; int3 & fact10 -> int4: あの世界制覇は看過し難くない; int4 & fact2 -> int5: あの世界制覇は安堵し難くない; int5 & fact9 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
あの仕送りは安堵し難い
$facts$ = fact1: もし仮に安堵し難くない物がリプレースしないとすると看過し難くない fact2: もしもあの世界制覇は看過し難いということはないとすれば「安堵し難いということはない」ということは確かである fact3: 「あの轢き逃げは生じる」ということは正しいならばあの世界制覇は進捗管理でない fact4: 「看過し難いということはないものは始まるし更に生じる」ということは確かだ fact5: 仮にあの轢き逃げが安堵し難いがしかし生じないとするとあの仕送りは安堵し難い fact6: なにかは留守電でないとすれば「原発巣でない」ということは正しい fact7: あの世界制覇は進捗管理でない fact8: もし「何らかのものは原発巣でない」ということは事実だとすると安堵し難いということはないしそれにリプレースするということはない fact9: あの世界制覇は安堵し難い fact10: もしもあの世界制覇が反応し易いかまたはそれが始まればそれは看過し難くない fact11: もし仮にあの轢き逃げが生じるとするとあの世界制覇は反応し易いが進捗管理であるということはない fact12: もしもあの轢き逃げが裏返すしまた掴み易いならばそれは留守電でない fact13: もし仮にあの世界制覇が始まるとするとそれは看過し難くない ; $hypothesis$ = 「あの轢き逃げは生じるということはない」ということは事実である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの轢き逃げは生じる; fact11 & assump1 -> int1: あの世界制覇は反応し易いけれどそれは進捗管理でない; int1 -> int2: あの世界制覇は反応し易い; int2 -> int3: あの世界制覇は反応し易いかもしくは始まる; int3 & fact10 -> int4: あの世界制覇は看過し難くない; int4 & fact2 -> int5: あの世界制覇は安堵し難くない; int5 & fact9 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __PROVED__
事実1: もし仮に安堵し難くない物がリプレースしないとすると看過し難くない
事実2: もしもあの世界制覇は看過し難いということはないとすれば「安堵し難いということはない」ということは確かである
事実3: 「あの轢き逃げは生じる」ということは正しいならばあの世界制覇は進捗管理でない
事実4: 「看過し難いということはないものは始まるし更に生じる」ということは確かだ
事実5: 仮にあの轢き逃げが安堵し難いがしかし生じないとするとあの仕送りは安堵し難い
事実6: なにかは留守電でないとすれば「原発巣でない」ということは正しい
事実7: あの世界制覇は進捗管理でない
事実8: もし「何らかのものは原発巣でない」ということは事実だとすると安堵し難いということはないしそれにリプレースするということはない
事実9: あの世界制覇は安堵し難い
事実10: もしもあの世界制覇が反応し易いかまたはそれが始まればそれは看過し難くない
事実11: もし仮にあの轢き逃げが生じるとするとあの世界制覇は反応し易いが進捗管理であるということはない
事実12: もしもあの轢き逃げが裏返すしまた掴み易いならばそれは留守電でない
事実13: もし仮にあの世界制覇が始まるとするとそれは看過し難くない

仮説: 「あの轢き逃げは生じるということはない」ということは事実である
1. 仮定1: 以下のように仮定する。あの轢き逃げは生じる
2. 事実11と仮定1から、推論1: "あの世界制覇は反応し易いけれどそれは進捗管理でない"が導かれる
3. 推論1から、推論2: "あの世界制覇は反応し易い"が導かれる
4. 推論2から、推論3: "あの世界制覇は反応し易いかもしくは始まる"が導かれる
5. 推論3と事実10から、推論4: "あの世界制覇は看過し難くない"が導かれる
6. 推論4と事実2から、推論5: "あの世界制覇は安堵し難くない"が導かれる
7. 推論5と事実9から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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