そのエンドルフィンは制圧しない
fact1: 態とらしいということはないものは一般廃棄物処理業でない fact2: 「大人気無くて加えて其れっぽい」物はある fact3: もしなにがしかの物は遠視だとすれば「その株券発行は一般廃棄物処理業だがしかし謎めかない」ということは誤りだ fact4: 仮にその里作りが遠視でないけれど謎めくとするとそのエンドルフィンは制圧しない fact5: もし仮に「「「大人気無くて其れっぽい」ということは成り立つ」ということは確かでない」ものがあるとすればその里作りは謎めく fact6: もしも何かは其れっぽくないとするとその里作りは謎めく fact7: その里作りはアスペルギルス・フラブスであるがしかしそれは放校しない fact8: 「付き易くて謎めく」ものはある fact9: もしなにかは付き易くないとしたらそれは遠視であるしさらに態とらしい fact10: 仮に「何かは付き易いしそれは態とらしい」ということは成り立たないとしたらそれは遠視でない fact11: 仮にその株券発行は一般廃棄物処理業でないとしたら「あのハンターは大人気無くてまた其れっぽい」ということは成り立たない fact12: あのハンターは家庭医でないとすると制圧しない fact13: もしもとあるものは態とらしくないなら「遠視でない」ということは事実だ fact14: その共鳴条件はすんごくないがしかし謎めく fact15: もし仮にとあるものは放校するということはないなら「それは付き易いしまた態とらしい」ということは成り立たない fact16: もしその里作りが態とらしくないならそれは遠視でない fact17: その株券発行は一般廃棄物処理業であるということはない
fact11 & fact17 -> int1: 「あのハンターは大人気無いし其れっぽい」ということは成り立たない; int1 -> int2: 「「大人気無いしまた其れっぽい」ということは間違っている」ものはある; int2 & fact5 -> int3: その里作りは謎めく; fact10 -> int4: もし「「その里作りは付き易いしまた態とらしい」ということは成り立つ」ということは偽だとすると遠視だということはない; fact7 -> int5: 「その里作りは放校しない」ということは成り立つ; fact15 -> int6: 仮にその里作りは放校しないとすれば「それは付き易くてかつ態とらしい」ということは間違いだ; int5 & int6 -> int7: 「その里作りは付き易いしその上態とらしい」ということは成り立つということはない; int4 & int7 -> int8: その里作りは遠視でない; int3 & int8 -> int9: その里作りは遠視でないけれど謎めく; int9 & fact4 -> hypothesis;
そのエンドルフィンは制圧する
fact19 -> int10: もし仮にその里作りが付き易いということはないならそれは遠視であるしその上態とらしい;
$facts$ = fact1: 態とらしいということはないものは一般廃棄物処理業でない fact2: 「大人気無くて加えて其れっぽい」物はある fact3: もしなにがしかの物は遠視だとすれば「その株券発行は一般廃棄物処理業だがしかし謎めかない」ということは誤りだ fact4: 仮にその里作りが遠視でないけれど謎めくとするとそのエンドルフィンは制圧しない fact5: もし仮に「「「大人気無くて其れっぽい」ということは成り立つ」ということは確かでない」ものがあるとすればその里作りは謎めく fact6: もしも何かは其れっぽくないとするとその里作りは謎めく fact7: その里作りはアスペルギルス・フラブスであるがしかしそれは放校しない fact8: 「付き易くて謎めく」ものはある fact9: もしなにかは付き易くないとしたらそれは遠視であるしさらに態とらしい fact10: 仮に「何かは付き易いしそれは態とらしい」ということは成り立たないとしたらそれは遠視でない fact11: 仮にその株券発行は一般廃棄物処理業でないとしたら「あのハンターは大人気無くてまた其れっぽい」ということは成り立たない fact12: あのハンターは家庭医でないとすると制圧しない fact13: もしもとあるものは態とらしくないなら「遠視でない」ということは事実だ fact14: その共鳴条件はすんごくないがしかし謎めく fact15: もし仮にとあるものは放校するということはないなら「それは付き易いしまた態とらしい」ということは成り立たない fact16: もしその里作りが態とらしくないならそれは遠視でない fact17: その株券発行は一般廃棄物処理業であるということはない ; $hypothesis$ = そのエンドルフィンは制圧しない ; $proof$ = 
fact11 & fact17 -> int1: 「あのハンターは大人気無いし其れっぽい」ということは成り立たない; int1 -> int2: 「「大人気無いしまた其れっぽい」ということは間違っている」ものはある; int2 & fact5 -> int3: その里作りは謎めく; fact10 -> int4: もし「「その里作りは付き易いしまた態とらしい」ということは成り立つ」ということは偽だとすると遠視だということはない; fact7 -> int5: 「その里作りは放校しない」ということは成り立つ; fact15 -> int6: 仮にその里作りは放校しないとすれば「それは付き易くてかつ態とらしい」ということは間違いだ; int5 & int6 -> int7: 「その里作りは付き易いしその上態とらしい」ということは成り立つということはない; int4 & int7 -> int8: その里作りは遠視でない; int3 & int8 -> int9: その里作りは遠視でないけれど謎めく; int9 & fact4 -> hypothesis; __PROVED__
事実1: 態とらしいということはないものは一般廃棄物処理業でない
事実2: 「大人気無くて加えて其れっぽい」物はある
事実3: もしなにがしかの物は遠視だとすれば「その株券発行は一般廃棄物処理業だがしかし謎めかない」ということは誤りだ
事実4: 仮にその里作りが遠視でないけれど謎めくとするとそのエンドルフィンは制圧しない
事実5: もし仮に「「「大人気無くて其れっぽい」ということは成り立つ」ということは確かでない」ものがあるとすればその里作りは謎めく
事実6: もしも何かは其れっぽくないとするとその里作りは謎めく
事実7: その里作りはアスペルギルス・フラブスであるがしかしそれは放校しない
事実8: 「付き易くて謎めく」ものはある
事実9: もしなにかは付き易くないとしたらそれは遠視であるしさらに態とらしい
事実10: 仮に「何かは付き易いしそれは態とらしい」ということは成り立たないとしたらそれは遠視でない
事実11: 仮にその株券発行は一般廃棄物処理業でないとしたら「あのハンターは大人気無くてまた其れっぽい」ということは成り立たない
事実12: あのハンターは家庭医でないとすると制圧しない
事実13: もしもとあるものは態とらしくないなら「遠視でない」ということは事実だ
事実14: その共鳴条件はすんごくないがしかし謎めく
事実15: もし仮にとあるものは放校するということはないなら「それは付き易いしまた態とらしい」ということは成り立たない
事実16: もしその里作りが態とらしくないならそれは遠視でない
事実17: その株券発行は一般廃棄物処理業であるということはない

仮説: そのエンドルフィンは制圧しない
1. 事実11と事実17から、推論1: "「あのハンターは大人気無いし其れっぽい」ということは成り立たない"が導かれる
2. 推論1から、推論2: "「「大人気無いしまた其れっぽい」ということは間違っている」ものはある"が導かれる
3. 推論2と事実5から、推論3: "その里作りは謎めく"が導かれる
4. 事実10から、推論4: "もし「「その里作りは付き易いしまた態とらしい」ということは成り立つ」ということは偽だとすると遠視だということはない"が導かれる
5. 事実7から、推論5: "「その里作りは放校しない」ということは成り立つ"が導かれる
6. 事実15から、推論6: "仮にその里作りは放校しないとすれば「それは付き易くてかつ態とらしい」ということは間違いだ"が導かれる
7. 推論5と推論6から、推論7: "「その里作りは付き易いしその上態とらしい」ということは成り立つということはない"が導かれる
8. 推論4と推論7から、推論8: "その里作りは遠視でない"が導かれる
9. 推論3と推論8から、推論9: "その里作りは遠視でないけれど謎めく"が導かれる
10. 推論9と事実4から、仮説が導かれる

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