「その急増中は磨き抜くしその上残り難い」ということは成り立つということはない
fact1: 「対外硬集団な」ものはある fact2: もしこの定住パターンが引き起こし易いとすればあの急増中は残り難いがしかし死さない fact3: その急増中は死さない fact4: 尽くし難くない物は死すしかつ磨き抜く fact5: もしもとあるものは光らす一方で甘辛くないならば引き起こし易い fact6: もし対外硬集団はあれば「その急増中は磨き抜くしかつ尽くし難い」ということは間違いであるということはない fact7: その急増中が育て易いしその上引き起こし易い fact8: 仮に「この定住パターンは死す」ということは正しいならそれは同・中庭だ fact9: もし仮に「光らす」物があるとしたらこの定住パターンは残り難い fact10: この定住パターンは尽くし難くない fact11: この定住パターンは光らすがしかし甘辛くない fact12: その急増中は術師自身だが吸い続けない fact13: もし仮にその急増中は光らすし尽くし難いとすれば「甘辛い」ということは事実である
fact5 -> int1: もしもこの定住パターンが光らすがしかし甘辛くないならば「それは引き起こし易い」ということは成り立つ; int1 & fact11 -> int2: 「この定住パターンは引き起こし易い」ということは成り立つ; int2 & fact2 -> int3: その急増中は残り難いけど死さない; int3 -> int4: その急増中は残り難い; fact1 & fact6 -> int5: その急増中は磨き抜くし尽くし難い; int5 -> int6: その急増中は磨き抜く; int4 & int6 -> hypothesis;
この定住パターンは同・中庭であるがしかし嗣法でない
fact14 -> int7: 仮にこの定住パターンが尽くし難くないとしたら死すしそれは磨き抜く; int7 & fact16 -> int8: この定住パターンは死すし加えてそれは磨き抜く; int8 -> int9: この定住パターンは死す; fact15 & int9 -> int10: この定住パターンは同・中庭である;
$facts$ = fact1: 「対外硬集団な」ものはある fact2: もしこの定住パターンが引き起こし易いとすればあの急増中は残り難いがしかし死さない fact3: その急増中は死さない fact4: 尽くし難くない物は死すしかつ磨き抜く fact5: もしもとあるものは光らす一方で甘辛くないならば引き起こし易い fact6: もし対外硬集団はあれば「その急増中は磨き抜くしかつ尽くし難い」ということは間違いであるということはない fact7: その急増中が育て易いしその上引き起こし易い fact8: 仮に「この定住パターンは死す」ということは正しいならそれは同・中庭だ fact9: もし仮に「光らす」物があるとしたらこの定住パターンは残り難い fact10: この定住パターンは尽くし難くない fact11: この定住パターンは光らすがしかし甘辛くない fact12: その急増中は術師自身だが吸い続けない fact13: もし仮にその急増中は光らすし尽くし難いとすれば「甘辛い」ということは事実である ; $hypothesis$ = 「その急増中は磨き抜くしその上残り難い」ということは成り立つということはない ; $proof$ = 
fact5 -> int1: もしもこの定住パターンが光らすがしかし甘辛くないならば「それは引き起こし易い」ということは成り立つ; int1 & fact11 -> int2: 「この定住パターンは引き起こし易い」ということは成り立つ; int2 & fact2 -> int3: その急増中は残り難いけど死さない; int3 -> int4: その急増中は残り難い; fact1 & fact6 -> int5: その急増中は磨き抜くし尽くし難い; int5 -> int6: その急増中は磨き抜く; int4 & int6 -> hypothesis; __DISPROVED__
事実1: 「対外硬集団な」ものはある
事実2: もしこの定住パターンが引き起こし易いとすればあの急増中は残り難いがしかし死さない
事実3: その急増中は死さない
事実4: 尽くし難くない物は死すしかつ磨き抜く
事実5: もしもとあるものは光らす一方で甘辛くないならば引き起こし易い
事実6: もし対外硬集団はあれば「その急増中は磨き抜くしかつ尽くし難い」ということは間違いであるということはない
事実7: その急増中が育て易いしその上引き起こし易い
事実8: 仮に「この定住パターンは死す」ということは正しいならそれは同・中庭だ
事実9: もし仮に「光らす」物があるとしたらこの定住パターンは残り難い
事実10: この定住パターンは尽くし難くない
事実11: この定住パターンは光らすがしかし甘辛くない
事実12: その急増中は術師自身だが吸い続けない
事実13: もし仮にその急増中は光らすし尽くし難いとすれば「甘辛い」ということは事実である

仮説: 「その急増中は磨き抜くしその上残り難い」ということは成り立つということはない
1. 事実5から、推論1: "もしもこの定住パターンが光らすがしかし甘辛くないならば「それは引き起こし易い」ということは成り立つ"が導かれる
2. 推論1と事実11から、推論2: "「この定住パターンは引き起こし易い」ということは成り立つ"が導かれる
3. 推論2と事実2から、推論3: "その急増中は残り難いけど死さない"が導かれる
4. 推論3から、推論4: "その急増中は残り難い"が導かれる
5. 事実1と事実6から、推論5: "その急増中は磨き抜くし尽くし難い"が導かれる
6. 推論5から、推論6: "その急増中は磨き抜く"が導かれる
7. 推論4と推論6から、仮説が否定される

よって、仮説が否定されました。