仮にこのネクターが知り合いらしいとしたらその一般大衆は吉田町屎尿・塵処理場事件でなくて更に得られ難くない
fact1: なにがしかのものは政策手段であるとすると強制送還しない fact2: 知り合いらしいということはない物は真っ暗くない fact3: このネクターは天変だ fact4: もしも「このリバウンドは棚板である」ということは誤っていないとすればそれは切り易くない fact5: もしこのネクターは知り合いらしいとしたら「その一般大衆は真っ暗くない」ということは事実と異なる fact6: もし仮に何かは毛深くないならどでかくない fact7: もしその一般大衆が知り合いらしいということはないとするとそれは逸しないが得られ難い fact8: 仮になんらかの物が逸しないならそれは吉田町屎尿・塵処理場事件だということはないし得られ難くない fact9: もしもこのネクターが知り合いらしくないとすればそれは逸しない一方で得られ難い fact10: あのサムシングは得られ難くない fact11: もしもその一般大衆が知り合いらしいとしたらこのネクターは逸しない fact12: その一般大衆は夏らしい fact13: 仮にこのネクターが逸しないならばそれは真っ暗くないしかつ知り合いらしい fact14: もしもその一般大衆が失業生活でないとすると収集すらないし吉田町屎尿・塵処理場事件であるということはない fact15: 知り合いらしくない物は真っ暗くないしおまけに逸しない fact16: その一般大衆は曲線部でない fact17: もしもとあるものが真っ暗いとするとそれは逸しない fact18: その一般大衆は模索しない fact19: いみじ物は薄っぺらくない
void -> assump1: 以下のように仮定する。このネクターは知り合いらしい; fact5 & assump1 -> int1: その一般大衆は真っ暗い; fact17 -> int2: もし仮にその一般大衆が真っ暗いとすれば逸しない; int1 & int2 -> int3: その一般大衆は逸しない; fact8 -> int4: もしその一般大衆が逸しないとすればそれは吉田町屎尿・塵処理場事件でなくて加えて得られ難くない; int3 & int4 -> int5: その一般大衆は吉田町屎尿・塵処理場事件でないし得られ難くない; [assump1] & int5 -> hypothesis;
$facts$ = fact1: なにがしかのものは政策手段であるとすると強制送還しない fact2: 知り合いらしいということはない物は真っ暗くない fact3: このネクターは天変だ fact4: もしも「このリバウンドは棚板である」ということは誤っていないとすればそれは切り易くない fact5: もしこのネクターは知り合いらしいとしたら「その一般大衆は真っ暗くない」ということは事実と異なる fact6: もし仮に何かは毛深くないならどでかくない fact7: もしその一般大衆が知り合いらしいということはないとするとそれは逸しないが得られ難い fact8: 仮になんらかの物が逸しないならそれは吉田町屎尿・塵処理場事件だということはないし得られ難くない fact9: もしもこのネクターが知り合いらしくないとすればそれは逸しない一方で得られ難い fact10: あのサムシングは得られ難くない fact11: もしもその一般大衆が知り合いらしいとしたらこのネクターは逸しない fact12: その一般大衆は夏らしい fact13: 仮にこのネクターが逸しないならばそれは真っ暗くないしかつ知り合いらしい fact14: もしもその一般大衆が失業生活でないとすると収集すらないし吉田町屎尿・塵処理場事件であるということはない fact15: 知り合いらしくない物は真っ暗くないしおまけに逸しない fact16: その一般大衆は曲線部でない fact17: もしもとあるものが真っ暗いとするとそれは逸しない fact18: その一般大衆は模索しない fact19: いみじ物は薄っぺらくない ; $hypothesis$ = 仮にこのネクターが知り合いらしいとしたらその一般大衆は吉田町屎尿・塵処理場事件でなくて更に得られ難くない ; $proof$ = 
void -> assump1: 以下のように仮定する。このネクターは知り合いらしい; fact5 & assump1 -> int1: その一般大衆は真っ暗い; fact17 -> int2: もし仮にその一般大衆が真っ暗いとすれば逸しない; int1 & int2 -> int3: その一般大衆は逸しない; fact8 -> int4: もしその一般大衆が逸しないとすればそれは吉田町屎尿・塵処理場事件でなくて加えて得られ難くない; int3 & int4 -> int5: その一般大衆は吉田町屎尿・塵処理場事件でないし得られ難くない; [assump1] & int5 -> hypothesis; __PROVED__
事実1: なにがしかのものは政策手段であるとすると強制送還しない
事実2: 知り合いらしいということはない物は真っ暗くない
事実3: このネクターは天変だ
事実4: もしも「このリバウンドは棚板である」ということは誤っていないとすればそれは切り易くない
事実5: もしこのネクターは知り合いらしいとしたら「その一般大衆は真っ暗くない」ということは事実と異なる
事実6: もし仮に何かは毛深くないならどでかくない
事実7: もしその一般大衆が知り合いらしいということはないとするとそれは逸しないが得られ難い
事実8: 仮になんらかの物が逸しないならそれは吉田町屎尿・塵処理場事件だということはないし得られ難くない
事実9: もしもこのネクターが知り合いらしくないとすればそれは逸しない一方で得られ難い
事実10: あのサムシングは得られ難くない
事実11: もしもその一般大衆が知り合いらしいとしたらこのネクターは逸しない
事実12: その一般大衆は夏らしい
事実13: 仮にこのネクターが逸しないならばそれは真っ暗くないしかつ知り合いらしい
事実14: もしもその一般大衆が失業生活でないとすると収集すらないし吉田町屎尿・塵処理場事件であるということはない
事実15: 知り合いらしくない物は真っ暗くないしおまけに逸しない
事実16: その一般大衆は曲線部でない
事実17: もしもとあるものが真っ暗いとするとそれは逸しない
事実18: その一般大衆は模索しない
事実19: いみじ物は薄っぺらくない

仮説: 仮にこのネクターが知り合いらしいとしたらその一般大衆は吉田町屎尿・塵処理場事件でなくて更に得られ難くない
1. 仮定1: 以下のように仮定する。このネクターは知り合いらしい
2. 事実5と仮定1から、推論1: "その一般大衆は真っ暗い"が導かれる
3. 事実17から、推論2: "もし仮にその一般大衆が真っ暗いとすれば逸しない"が導かれる
4. 推論1と推論2から、推論3: "その一般大衆は逸しない"が導かれる
5. 事実8から、推論4: "もしその一般大衆が逸しないとすればそれは吉田町屎尿・塵処理場事件でなくて加えて得られ難くない"が導かれる
6. 推論3と推論4から、推論5: "その一般大衆は吉田町屎尿・塵処理場事件でないし得られ難くない"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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