その自治則は疑わしくない一方で醸す
fact1: あのマスケット銃は弟夫婦でなくておまけに漢詩人でない fact2: 「もしもあのマスケット銃が製品化するし摂食調節であるならその三世紀後半は摂食調節でない」ということは間違いでない fact3: もし「あのマスケット銃は相乗しない」ということは成り立たないならばその自治則は醸す fact4: あのマスケット銃が忍耐強くないとするとそれは吐露しない fact5: もし仮に何かは配信出来ないならそれは発掘調査するということはなくておまけに除霊でない fact6: 仮になんらかのものは除霊でないなら「なあいがしかし製品化しない」ということは成り立たない fact7: 仮に「なんらかの物はなあいがしかし製品化しない」ということは正しくないならばそれは疑わしいということはない fact8: その組織風土は醸す fact9: もしもある物は配信出来るということはないならば「発掘調査しない」ということは成り立つ fact10: その自治則がなあいとしたら逆輸入しない fact11: あのマスケット銃は摂食調節でない fact12: もしも「何らかのものは耐え続けるが復縁しない」ということは偽ならば担ぎ上げない fact13: なんらかの物が発掘調査しないならば相乗するということはない fact14: あのマスケット銃はいじましくない一方でそれは発掘調査する fact15: 仮に「とあるものは配信出来るがそれはなあくない」ということは誤っているならそれは相乗しない fact16: あのマスケット銃は製品化しない fact17: あのマスケット銃は相乗する fact18: もし「あのマスケット銃は相乗するということはない」ということは正しいなら「疑わしいしおまけに醸さない」ということは成り立たない fact19: その自治則は配信出来ないし加えて摂食調節でない fact20: もし「とある物は安っぽいが射精しない」ということは成り立たないとすれば乗り難くない
fact5 -> int1: その自治則が配信出来ないならばそれは発掘調査するということはないしそれに除霊でない; fact19 -> int2: その自治則は配信出来ない; int1 & int2 -> int3: その自治則は発掘調査しないし加えてそれは除霊でない; int3 -> int4: その自治則は除霊でない; fact6 -> int5: その自治則は除霊でないとすると「それはなあいがしかし製品化しない」ということは誤りだ; int4 & int5 -> int6: 「その自治則はなあいがそれは製品化しない」ということは誤っている; fact7 -> int7: 仮に「その自治則はなあいがしかしそれは製品化しない」ということは間違っているとすると疑わしくない; int6 & int7 -> int8: その自治則は疑わしくない; fact3 & fact17 -> int9: その自治則は醸す; int8 & int9 -> hypothesis;
その三世紀後半は摂食調節でない
$facts$ = fact1: あのマスケット銃は弟夫婦でなくておまけに漢詩人でない fact2: 「もしもあのマスケット銃が製品化するし摂食調節であるならその三世紀後半は摂食調節でない」ということは間違いでない fact3: もし「あのマスケット銃は相乗しない」ということは成り立たないならばその自治則は醸す fact4: あのマスケット銃が忍耐強くないとするとそれは吐露しない fact5: もし仮に何かは配信出来ないならそれは発掘調査するということはなくておまけに除霊でない fact6: 仮になんらかのものは除霊でないなら「なあいがしかし製品化しない」ということは成り立たない fact7: 仮に「なんらかの物はなあいがしかし製品化しない」ということは正しくないならばそれは疑わしいということはない fact8: その組織風土は醸す fact9: もしもある物は配信出来るということはないならば「発掘調査しない」ということは成り立つ fact10: その自治則がなあいとしたら逆輸入しない fact11: あのマスケット銃は摂食調節でない fact12: もしも「何らかのものは耐え続けるが復縁しない」ということは偽ならば担ぎ上げない fact13: なんらかの物が発掘調査しないならば相乗するということはない fact14: あのマスケット銃はいじましくない一方でそれは発掘調査する fact15: 仮に「とあるものは配信出来るがそれはなあくない」ということは誤っているならそれは相乗しない fact16: あのマスケット銃は製品化しない fact17: あのマスケット銃は相乗する fact18: もし「あのマスケット銃は相乗するということはない」ということは正しいなら「疑わしいしおまけに醸さない」ということは成り立たない fact19: その自治則は配信出来ないし加えて摂食調節でない fact20: もし「とある物は安っぽいが射精しない」ということは成り立たないとすれば乗り難くない ; $hypothesis$ = その自治則は疑わしくない一方で醸す ; $proof$ = 
fact5 -> int1: その自治則が配信出来ないならばそれは発掘調査するということはないしそれに除霊でない; fact19 -> int2: その自治則は配信出来ない; int1 & int2 -> int3: その自治則は発掘調査しないし加えてそれは除霊でない; int3 -> int4: その自治則は除霊でない; fact6 -> int5: その自治則は除霊でないとすると「それはなあいがしかし製品化しない」ということは誤りだ; int4 & int5 -> int6: 「その自治則はなあいがそれは製品化しない」ということは誤っている; fact7 -> int7: 仮に「その自治則はなあいがしかしそれは製品化しない」ということは間違っているとすると疑わしくない; int6 & int7 -> int8: その自治則は疑わしくない; fact3 & fact17 -> int9: その自治則は醸す; int8 & int9 -> hypothesis; __PROVED__
事実1: あのマスケット銃は弟夫婦でなくておまけに漢詩人でない
事実2: 「もしもあのマスケット銃が製品化するし摂食調節であるならその三世紀後半は摂食調節でない」ということは間違いでない
事実3: もし「あのマスケット銃は相乗しない」ということは成り立たないならばその自治則は醸す
事実4: あのマスケット銃が忍耐強くないとするとそれは吐露しない
事実5: もし仮に何かは配信出来ないならそれは発掘調査するということはなくておまけに除霊でない
事実6: 仮になんらかのものは除霊でないなら「なあいがしかし製品化しない」ということは成り立たない
事実7: 仮に「なんらかの物はなあいがしかし製品化しない」ということは正しくないならばそれは疑わしいということはない
事実8: その組織風土は醸す
事実9: もしもある物は配信出来るということはないならば「発掘調査しない」ということは成り立つ
事実10: その自治則がなあいとしたら逆輸入しない
事実11: あのマスケット銃は摂食調節でない
事実12: もしも「何らかのものは耐え続けるが復縁しない」ということは偽ならば担ぎ上げない
事実13: なんらかの物が発掘調査しないならば相乗するということはない
事実14: あのマスケット銃はいじましくない一方でそれは発掘調査する
事実15: 仮に「とあるものは配信出来るがそれはなあくない」ということは誤っているならそれは相乗しない
事実16: あのマスケット銃は製品化しない
事実17: あのマスケット銃は相乗する
事実18: もし「あのマスケット銃は相乗するということはない」ということは正しいなら「疑わしいしおまけに醸さない」ということは成り立たない
事実19: その自治則は配信出来ないし加えて摂食調節でない
事実20: もし「とある物は安っぽいが射精しない」ということは成り立たないとすれば乗り難くない

仮説: その自治則は疑わしくない一方で醸す
1. 事実5から、推論1: "その自治則が配信出来ないならばそれは発掘調査するということはないしそれに除霊でない"が導かれる
2. 事実19から、推論2: "その自治則は配信出来ない"が導かれる
3. 推論1と推論2から、推論3: "その自治則は発掘調査しないし加えてそれは除霊でない"が導かれる
4. 推論3から、推論4: "その自治則は除霊でない"が導かれる
5. 事実6から、推論5: "その自治則は除霊でないとすると「それはなあいがしかし製品化しない」ということは誤りだ"が導かれる
6. 推論4と推論5から、推論6: "「その自治則はなあいがそれは製品化しない」ということは誤っている"が導かれる
7. 事実7から、推論7: "仮に「その自治則はなあいがしかしそれは製品化しない」ということは間違っているとすると疑わしくない"が導かれる
8. 推論6と推論7から、推論8: "その自治則は疑わしくない"が導かれる
9. 事実3と事実17から、推論9: "その自治則は醸す"が導かれる
10. 推論8と推論9から、仮説が導かれる

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