この言い草は確証する
fact1: もしもその時事新報が激しくないとするとこの言い草は小暗いしまた確証する fact2: 仮に「この機械工業は娶れるということはないしかつ手伝わさない」ということは成り立たないとすればこの改良型は狭過ぎない fact3: 仮にこの改良型が一パーセント前後でないとすればそれは遷延化するしそれは娶れる fact4: その時事新報は再ドロップする fact5: その縫着は再ドロップする fact6: もし「そのフェイス周りは四名乗車であるかもしくは連環するか両方ともである」ということは嘘だとするとその時事新報は連環しない fact7: もし仮にそのフェイス周りが連環しないとすれば四名乗車であるかあるいは再ドロップするということはないかまたは両方だ fact8: もし仮にその時事新報は狭過ぎるということはないならば「そのフェイス周りは四名乗車でなくてかつそれは連環しない」ということは間違っている fact9: もしその時事新報が連環しないとするとこの言い草は狭過ぎない fact10: この機械工業は手伝わすけれどそれは一パーセント前後でない fact11: 仮にこの機械工業が手伝わす一方で一パーセント前後でないとしたらこの改良型は一パーセント前後でない fact12: もし仮に激しい物は再ドロップするなら「それは狭過ぎるということはない」ということは正しい fact13: もしとある物は遷延化するということはないとすれば「四名乗車であるかまたは連環する」ということは成り立たない fact14: もしも「そのフェイス周りは四名乗車でないし連環するということはない」ということは成り立つということはないならこの改良型は遷延化しない fact15: もしも激しいものが再ドロップするということはないとするとそれは確証しない fact16: この改良型は一パーセント前後でないとしたら「それは娶れる」ということは確かだ
void -> assump1: 以下のように仮定する。その時事新報は激しい; assump1 & fact4 -> int1: その時事新報は激しい物で再ドロップする; fact12 -> int2: もしもその時事新報が激しいしおまけに再ドロップするとしたらそれは狭過ぎない; int1 & int2 -> int3: その時事新報は狭過ぎるということはない; int3 & fact8 -> int4: 「そのフェイス周りは四名乗車でなくて連環しない」ということは間違いだ; int4 & fact14 -> int5: 「この改良型は遷延化しない」ということは事実である; fact10 & fact11 -> int6: この改良型は一パーセント前後でない; fact3 & int6 -> int7: この改良型は遷延化するし娶れる; int7 -> int8: この改良型は遷延化する; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: その時事新報は激しくない; int10 & fact1 -> int11: この言い草は小暗いしまた確証する; int11 -> hypothesis;
この言い草は確証しない
fact17 -> int12: 仮にこの言い草が激しいが再ドロップしないならばそれは確証しない; fact19 -> int13: もしもそのフェイス周りは遷延化しないとしたら「四名乗車であるかそれは連環するかもしくは両方だ」ということは間違っている;
$facts$ = fact1: もしもその時事新報が激しくないとするとこの言い草は小暗いしまた確証する fact2: 仮に「この機械工業は娶れるということはないしかつ手伝わさない」ということは成り立たないとすればこの改良型は狭過ぎない fact3: 仮にこの改良型が一パーセント前後でないとすればそれは遷延化するしそれは娶れる fact4: その時事新報は再ドロップする fact5: その縫着は再ドロップする fact6: もし「そのフェイス周りは四名乗車であるかもしくは連環するか両方ともである」ということは嘘だとするとその時事新報は連環しない fact7: もし仮にそのフェイス周りが連環しないとすれば四名乗車であるかあるいは再ドロップするということはないかまたは両方だ fact8: もし仮にその時事新報は狭過ぎるということはないならば「そのフェイス周りは四名乗車でなくてかつそれは連環しない」ということは間違っている fact9: もしその時事新報が連環しないとするとこの言い草は狭過ぎない fact10: この機械工業は手伝わすけれどそれは一パーセント前後でない fact11: 仮にこの機械工業が手伝わす一方で一パーセント前後でないとしたらこの改良型は一パーセント前後でない fact12: もし仮に激しい物は再ドロップするなら「それは狭過ぎるということはない」ということは正しい fact13: もしとある物は遷延化するということはないとすれば「四名乗車であるかまたは連環する」ということは成り立たない fact14: もしも「そのフェイス周りは四名乗車でないし連環するということはない」ということは成り立つということはないならこの改良型は遷延化しない fact15: もしも激しいものが再ドロップするということはないとするとそれは確証しない fact16: この改良型は一パーセント前後でないとしたら「それは娶れる」ということは確かだ ; $hypothesis$ = この言い草は確証する ; $proof$ = 
void -> assump1: 以下のように仮定する。その時事新報は激しい; assump1 & fact4 -> int1: その時事新報は激しい物で再ドロップする; fact12 -> int2: もしもその時事新報が激しいしおまけに再ドロップするとしたらそれは狭過ぎない; int1 & int2 -> int3: その時事新報は狭過ぎるということはない; int3 & fact8 -> int4: 「そのフェイス周りは四名乗車でなくて連環しない」ということは間違いだ; int4 & fact14 -> int5: 「この改良型は遷延化しない」ということは事実である; fact10 & fact11 -> int6: この改良型は一パーセント前後でない; fact3 & int6 -> int7: この改良型は遷延化するし娶れる; int7 -> int8: この改良型は遷延化する; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: その時事新報は激しくない; int10 & fact1 -> int11: この言い草は小暗いしまた確証する; int11 -> hypothesis; __PROVED__
事実1: もしもその時事新報が激しくないとするとこの言い草は小暗いしまた確証する
事実2: 仮に「この機械工業は娶れるということはないしかつ手伝わさない」ということは成り立たないとすればこの改良型は狭過ぎない
事実3: 仮にこの改良型が一パーセント前後でないとすればそれは遷延化するしそれは娶れる
事実4: その時事新報は再ドロップする
事実5: その縫着は再ドロップする
事実6: もし「そのフェイス周りは四名乗車であるかもしくは連環するか両方ともである」ということは嘘だとするとその時事新報は連環しない
事実7: もし仮にそのフェイス周りが連環しないとすれば四名乗車であるかあるいは再ドロップするということはないかまたは両方だ
事実8: もし仮にその時事新報は狭過ぎるということはないならば「そのフェイス周りは四名乗車でなくてかつそれは連環しない」ということは間違っている
事実9: もしその時事新報が連環しないとするとこの言い草は狭過ぎない
事実10: この機械工業は手伝わすけれどそれは一パーセント前後でない
事実11: 仮にこの機械工業が手伝わす一方で一パーセント前後でないとしたらこの改良型は一パーセント前後でない
事実12: もし仮に激しい物は再ドロップするなら「それは狭過ぎるということはない」ということは正しい
事実13: もしとある物は遷延化するということはないとすれば「四名乗車であるかまたは連環する」ということは成り立たない
事実14: もしも「そのフェイス周りは四名乗車でないし連環するということはない」ということは成り立つということはないならこの改良型は遷延化しない
事実15: もしも激しいものが再ドロップするということはないとするとそれは確証しない
事実16: この改良型は一パーセント前後でないとしたら「それは娶れる」ということは確かだ

仮説: この言い草は確証する
1. 仮定1: 以下のように仮定する。その時事新報は激しい
2. 仮定1と事実4から、推論1: "その時事新報は激しい物で再ドロップする"が導かれる
3. 事実12から、推論2: "もしもその時事新報が激しいしおまけに再ドロップするとしたらそれは狭過ぎない"が導かれる
4. 推論1と推論2から、推論3: "その時事新報は狭過ぎるということはない"が導かれる
5. 推論3と事実8から、推論4: "「そのフェイス周りは四名乗車でなくて連環しない」ということは間違いだ"が導かれる
6. 推論4と事実14から、推論5: "「この改良型は遷延化しない」ということは事実である"が導かれる
7. 事実10と事実11から、推論6: "この改良型は一パーセント前後でない"が導かれる
8. 事実3と推論6から、推論7: "この改良型は遷延化するし娶れる"が導かれる
9. 推論7から、推論8: "この改良型は遷延化する"が導かれる
10. 推論5と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "その時事新報は激しくない"が導かれる
12. 推論10と事実1から、推論11: "この言い草は小暗いしまた確証する"が導かれる
13. 推論11から、仮説が導かれる

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