あの過負荷は被曝する
fact1: もし「「往還するし暴れない」ということは成り立たない」ものがあるとしたらこの最終入場は退院後でない fact2: もしも「「古典的名著であるが徐行しない」ということは成り立つということはない」物があるならあの新宿駅南口はべたべたしない fact3: 仮にこの最終入場は退院後でないならば「「この実用試験は古典的名著だが徐行しない」ということは確かだ」ということは嘘である fact4: もしある物は母様だということはないがしかし変わるとすればそれは被曝する fact5: 「「往還するし加えて暴れない」ということは間違いな」ものはある fact6: もし仮にあの新宿駅南口がべたべたしないならばあの過負荷は母様であるということはないがそれは変わる
fact5 & fact1 -> int1: 「この最終入場は退院後だということはない」ということは成り立つ; int1 & fact3 -> int2: 「この実用試験は古典的名著である一方で徐行しない」ということは成り立たない; int2 -> int3: 「「古典的名著だしその上徐行しない」ということは間違いである」ものはある; int3 & fact2 -> int4: あの新宿駅南口はべたべたしない; int4 & fact6 -> int5: あの過負荷は母様でない一方でそれは変わる; fact4 -> int6: 仮にあの過負荷は母様だということはないけれど変わるとしたら「被曝する」ということは成り立つ; int5 & int6 -> hypothesis;
$facts$ = fact1: もし「「往還するし暴れない」ということは成り立たない」ものがあるとしたらこの最終入場は退院後でない fact2: もしも「「古典的名著であるが徐行しない」ということは成り立つということはない」物があるならあの新宿駅南口はべたべたしない fact3: 仮にこの最終入場は退院後でないならば「「この実用試験は古典的名著だが徐行しない」ということは確かだ」ということは嘘である fact4: もしある物は母様だということはないがしかし変わるとすればそれは被曝する fact5: 「「往還するし加えて暴れない」ということは間違いな」ものはある fact6: もし仮にあの新宿駅南口がべたべたしないならばあの過負荷は母様であるということはないがそれは変わる ; $hypothesis$ = あの過負荷は被曝する ; $proof$ = 
fact5 & fact1 -> int1: 「この最終入場は退院後だということはない」ということは成り立つ; int1 & fact3 -> int2: 「この実用試験は古典的名著である一方で徐行しない」ということは成り立たない; int2 -> int3: 「「古典的名著だしその上徐行しない」ということは間違いである」ものはある; int3 & fact2 -> int4: あの新宿駅南口はべたべたしない; int4 & fact6 -> int5: あの過負荷は母様でない一方でそれは変わる; fact4 -> int6: 仮にあの過負荷は母様だということはないけれど変わるとしたら「被曝する」ということは成り立つ; int5 & int6 -> hypothesis; __PROVED__
事実1: もし「「往還するし暴れない」ということは成り立たない」ものがあるとしたらこの最終入場は退院後でない
事実2: もしも「「古典的名著であるが徐行しない」ということは成り立つということはない」物があるならあの新宿駅南口はべたべたしない
事実3: 仮にこの最終入場は退院後でないならば「「この実用試験は古典的名著だが徐行しない」ということは確かだ」ということは嘘である
事実4: もしある物は母様だということはないがしかし変わるとすればそれは被曝する
事実5: 「「往還するし加えて暴れない」ということは間違いな」ものはある
事実6: もし仮にあの新宿駅南口がべたべたしないならばあの過負荷は母様であるということはないがそれは変わる

仮説: あの過負荷は被曝する
1. 事実5と事実1から、推論1: "「この最終入場は退院後だということはない」ということは成り立つ"が導かれる
2. 推論1と事実3から、推論2: "「この実用試験は古典的名著である一方で徐行しない」ということは成り立たない"が導かれる
3. 推論2から、推論3: "「「古典的名著だしその上徐行しない」ということは間違いである」ものはある"が導かれる
4. 推論3と事実2から、推論4: "あの新宿駅南口はべたべたしない"が導かれる
5. 推論4と事実6から、推論5: "あの過負荷は母様でない一方でそれは変わる"が導かれる
6. 事実4から、推論6: "仮にあの過負荷は母様だということはないけれど変わるとしたら「被曝する」ということは成り立つ"が導かれる
7. 推論5と推論6から、仮説が導かれる

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