「「仮にしゃしゃり出るとすればＭＯデルだということはなくてそれに忝い」ものはある」ということは間違っている
fact1: 合憲は刺青男でないけれど雲散霧消する fact2: 内的触発は止み難くないが巨大戦艦である fact3: もし仮にある物は内的触発であるとしたら平常時でない fact4: 「もしも制式化するとしたら「娘らしいということはない」ということは偽でない」ものはある fact5: このパラナ台地が冷め難いとすれば銀行ローンであるということはない fact6: 「仮に内的触発なら掴み難くない」物はある fact7: 「もしも忌み嫌えば伸び伸びしない」ものはある fact8: とある物がしゃしゃり出るならそれはＭＯデルでないが忝い
fact8 -> int1: もしこのパラナ台地はしゃしゃり出るとすれば「ＭＯデルでなくて更に忝い」ということは正しい; int1 -> hypothesis;
$facts$ = fact1: 合憲は刺青男でないけれど雲散霧消する fact2: 内的触発は止み難くないが巨大戦艦である fact3: もし仮にある物は内的触発であるとしたら平常時でない fact4: 「もしも制式化するとしたら「娘らしいということはない」ということは偽でない」ものはある fact5: このパラナ台地が冷め難いとすれば銀行ローンであるということはない fact6: 「仮に内的触発なら掴み難くない」物はある fact7: 「もしも忌み嫌えば伸び伸びしない」ものはある fact8: とある物がしゃしゃり出るならそれはＭＯデルでないが忝い ; $hypothesis$ = 「「仮にしゃしゃり出るとすればＭＯデルだということはなくてそれに忝い」ものはある」ということは間違っている ; $proof$ = 
fact8 -> int1: もしこのパラナ台地はしゃしゃり出るとすれば「ＭＯデルでなくて更に忝い」ということは正しい; int1 -> hypothesis; __DISPROVED__
事実1: 合憲は刺青男でないけれど雲散霧消する
事実2: 内的触発は止み難くないが巨大戦艦である
事実3: もし仮にある物は内的触発であるとしたら平常時でない
事実4: 「もしも制式化するとしたら「娘らしいということはない」ということは偽でない」ものはある
事実5: このパラナ台地が冷め難いとすれば銀行ローンであるということはない
事実6: 「仮に内的触発なら掴み難くない」物はある
事実7: 「もしも忌み嫌えば伸び伸びしない」ものはある
事実8: とある物がしゃしゃり出るならそれはＭＯデルでないが忝い

仮説: 「「仮にしゃしゃり出るとすればＭＯデルだということはなくてそれに忝い」ものはある」ということは間違っている
1. 事実8から、推論1: "もしこのパラナ台地はしゃしゃり出るとすれば「ＭＯデルでなくて更に忝い」ということは正しい"が導かれる
2. 推論1から、仮説が否定される

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