その第七ＳＦＧは図々しかないけど難しい
fact1: あの重態はセルフチェックでない fact2: あの重態が禅宗様だということはないとすれば国有化する fact3: もし仮にこの中期初頭が国有化しないとすればそれは鼻歌交じりであるということはない fact4: その第七ＳＦＧは前景化しない fact5: もしあの重態は図々しかないとしたら「その第七ＳＦＧは図々しいということはない一方で難しい」ということは成り立たない fact6: その第七ＳＦＧは見易くないしおまけに図々しかない fact7: もし仮にあの重態は禅宗様であるということはないとしたら「この中期初頭は禅宗様であるししかもそれはホーム毎メートルアットＳＵ以下だ」ということは事実でない fact8: この中期初頭は前景化しない fact9: その路肩は剥落しないし加えてホーム毎メートルアットＳＵ以下でない fact10: もしこの中期初頭は図々しかないとすれば「あの重態は図々しいし見易い」ということは成り立たない fact11: なにがしかの物は鼻歌交じりでないとすれば「それは見易いがしかし禅宗様でない」ということは間違いである fact12: もし仮に「「この中期初頭は見易いがしかし禅宗様でない」ということは成り立つ」ということは真実でないならあの重態はホーム毎メートルアットＳＵ以下でない fact13: この中期初頭は国有化しない fact14: 「この中期初頭は禅宗様だがホーム毎メートルアットＳＵ以下でない」ということは成り立たない fact15: もし仮にあの重態がホーム毎メートルアットＳＵ以下でないならばそれは前景化しなくてそれは図々しいということはない
fact3 & fact13 -> int1: この中期初頭は鼻歌交じりだということはない; fact11 -> int2: 「この中期初頭は鼻歌交じりでない」ということは成り立つとすると「見易いしそれは禅宗様でない」ということは間違いだ; int1 & int2 -> int3: 「この中期初頭は見易いが禅宗様でない」ということは間違いである; int3 & fact12 -> int4: あの重態はホーム毎メートルアットＳＵ以下でない; int4 & fact15 -> int5: あの重態は前景化しなくてそれは図々しかない; int5 -> int6: あの重態は図々しかない; int6 & fact5 -> hypothesis;
「この中期初頭は鼻歌交じりだけれど浴び過ぎない」ということは間違いだ
$facts$ = fact1: あの重態はセルフチェックでない fact2: あの重態が禅宗様だということはないとすれば国有化する fact3: もし仮にこの中期初頭が国有化しないとすればそれは鼻歌交じりであるということはない fact4: その第七ＳＦＧは前景化しない fact5: もしあの重態は図々しかないとしたら「その第七ＳＦＧは図々しいということはない一方で難しい」ということは成り立たない fact6: その第七ＳＦＧは見易くないしおまけに図々しかない fact7: もし仮にあの重態は禅宗様であるということはないとしたら「この中期初頭は禅宗様であるししかもそれはホーム毎メートルアットＳＵ以下だ」ということは事実でない fact8: この中期初頭は前景化しない fact9: その路肩は剥落しないし加えてホーム毎メートルアットＳＵ以下でない fact10: もしこの中期初頭は図々しかないとすれば「あの重態は図々しいし見易い」ということは成り立たない fact11: なにがしかの物は鼻歌交じりでないとすれば「それは見易いがしかし禅宗様でない」ということは間違いである fact12: もし仮に「「この中期初頭は見易いがしかし禅宗様でない」ということは成り立つ」ということは真実でないならあの重態はホーム毎メートルアットＳＵ以下でない fact13: この中期初頭は国有化しない fact14: 「この中期初頭は禅宗様だがホーム毎メートルアットＳＵ以下でない」ということは成り立たない fact15: もし仮にあの重態がホーム毎メートルアットＳＵ以下でないならばそれは前景化しなくてそれは図々しいということはない ; $hypothesis$ = その第七ＳＦＧは図々しかないけど難しい ; $proof$ = 
fact3 & fact13 -> int1: この中期初頭は鼻歌交じりだということはない; fact11 -> int2: 「この中期初頭は鼻歌交じりでない」ということは成り立つとすると「見易いしそれは禅宗様でない」ということは間違いだ; int1 & int2 -> int3: 「この中期初頭は見易いが禅宗様でない」ということは間違いである; int3 & fact12 -> int4: あの重態はホーム毎メートルアットＳＵ以下でない; int4 & fact15 -> int5: あの重態は前景化しなくてそれは図々しかない; int5 -> int6: あの重態は図々しかない; int6 & fact5 -> hypothesis; __DISPROVED__
事実1: あの重態はセルフチェックでない
事実2: あの重態が禅宗様だということはないとすれば国有化する
事実3: もし仮にこの中期初頭が国有化しないとすればそれは鼻歌交じりであるということはない
事実4: その第七ＳＦＧは前景化しない
事実5: もしあの重態は図々しかないとしたら「その第七ＳＦＧは図々しいということはない一方で難しい」ということは成り立たない
事実6: その第七ＳＦＧは見易くないしおまけに図々しかない
事実7: もし仮にあの重態は禅宗様であるということはないとしたら「この中期初頭は禅宗様であるししかもそれはホーム毎メートルアットＳＵ以下だ」ということは事実でない
事実8: この中期初頭は前景化しない
事実9: その路肩は剥落しないし加えてホーム毎メートルアットＳＵ以下でない
事実10: もしこの中期初頭は図々しかないとすれば「あの重態は図々しいし見易い」ということは成り立たない
事実11: なにがしかの物は鼻歌交じりでないとすれば「それは見易いがしかし禅宗様でない」ということは間違いである
事実12: もし仮に「「この中期初頭は見易いがしかし禅宗様でない」ということは成り立つ」ということは真実でないならあの重態はホーム毎メートルアットＳＵ以下でない
事実13: この中期初頭は国有化しない
事実14: 「この中期初頭は禅宗様だがホーム毎メートルアットＳＵ以下でない」ということは成り立たない
事実15: もし仮にあの重態がホーム毎メートルアットＳＵ以下でないならばそれは前景化しなくてそれは図々しいということはない

仮説: その第七ＳＦＧは図々しかないけど難しい
1. 事実3と事実13から、推論1: "この中期初頭は鼻歌交じりだということはない"が導かれる
2. 事実11から、推論2: "「この中期初頭は鼻歌交じりでない」ということは成り立つとすると「見易いしそれは禅宗様でない」ということは間違いだ"が導かれる
3. 推論1と推論2から、推論3: "「この中期初頭は見易いが禅宗様でない」ということは間違いである"が導かれる
4. 推論3と事実12から、推論4: "あの重態はホーム毎メートルアットＳＵ以下でない"が導かれる
5. 推論4と事実15から、推論5: "あの重態は前景化しなくてそれは図々しかない"が導かれる
6. 推論5から、推論6: "あの重態は図々しかない"が導かれる
7. 推論6と事実5から、仮説が否定される

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