あの御幸は許せる
fact1: もし仮に「この吉報は運動感覚的ランディング・サイトであるしおまけに出没だ」ということは本当でないとしたらそれは運動感覚的ランディング・サイトでない fact2: もし仮にとある物が料理全般だとすればそれは左右する fact3: その御掃除伯父さんは強調だ fact4: このＰＡＩＮは待ち侘びる fact5: 仮になにかは強調であるしそれに待ち侘びるならあの御幸は許せない fact6: 何らかのものが左右するとしたらＵＳＣだ fact7: 「この吉報は運動感覚的ランディング・サイトで出没である」ということは間違いだ fact8: 仮にこの地場は中世期でないならば「このＰＡＩＮは先取り出来るしごつい」ということは成り立たない fact9: もし仮に何かは運動感覚的ランディング・サイトであるということはないならば料理全般であるかまたはそれは中断する fact10: この吉報が料理全般であるとしたらその突堤は料理全般である fact11: 「ごつい」ものはある fact12: 仮にある物がＵＳＣであるなら般若波羅蜜多でなくてその上新築期間中だ fact13: もしもとあるものは待ち侘びないとすると「熱くないしかつそれは学校運営費でない」ということは嘘である fact14: この吉報が中断するとすればその突堤は料理全般である fact15: このＰＡＩＮは熱いしその上強調である fact16: もしも何らかのものは強調でない一方で熱いならば「許せる」ということは成り立つ fact17: もし仮にその突堤が般若波羅蜜多でないが新築期間中だとすればこの地場は中世期でない
fact15 -> int1: このＰＡＩＮは強調である; int1 & fact4 -> int2: このＰＡＩＮが強調だしおまけに待ち侘びる; int2 -> int3: とあるものは強調でそれに待ち侘びる; int3 & fact5 -> hypothesis;
あの御幸は許せる
fact24 -> int4: もしあの御幸は強調だということはないが熱いとすると「それは許せる」ということは誤っていない; fact20 -> int5: もしその突堤がＵＳＣであるならばそれは般若波羅蜜多であるということはないしその上それは新築期間中である; fact18 -> int6: もし仮にその突堤が左右すればそれはＵＳＣだ; fact26 -> int7: その突堤は料理全般であるとすると「左右する」ということは事実である; fact23 -> int8: 仮にこの吉報が運動感覚的ランディング・サイトでないなら料理全般であるかあるいはそれは中断するかまたは両方ともである; fact22 & fact28 -> int9: この吉報は運動感覚的ランディング・サイトでない; int8 & int9 -> int10: この吉報は料理全般であるかまたはそれは中断するかもしくはどちらもだ; int10 & fact27 & fact21 -> int11: その突堤は料理全般である; int7 & int11 -> int12: その突堤は左右する; int6 & int12 -> int13: その突堤はＵＳＣである; int5 & int13 -> int14: その突堤は般若波羅蜜多でないがしかしそれは新築期間中だ; fact25 & int14 -> int15: この地場は中世期だということはない; fact19 & int15 -> int16: 「このＰＡＩＮは先取り出来るしごつい」ということは成り立たない; int16 -> int17: 「「先取り出来るしまたごつい」ということは成り立たない」ものはある;
$facts$ = fact1: もし仮に「この吉報は運動感覚的ランディング・サイトであるしおまけに出没だ」ということは本当でないとしたらそれは運動感覚的ランディング・サイトでない fact2: もし仮にとある物が料理全般だとすればそれは左右する fact3: その御掃除伯父さんは強調だ fact4: このＰＡＩＮは待ち侘びる fact5: 仮になにかは強調であるしそれに待ち侘びるならあの御幸は許せない fact6: 何らかのものが左右するとしたらＵＳＣだ fact7: 「この吉報は運動感覚的ランディング・サイトで出没である」ということは間違いだ fact8: 仮にこの地場は中世期でないならば「このＰＡＩＮは先取り出来るしごつい」ということは成り立たない fact9: もし仮に何かは運動感覚的ランディング・サイトであるということはないならば料理全般であるかまたはそれは中断する fact10: この吉報が料理全般であるとしたらその突堤は料理全般である fact11: 「ごつい」ものはある fact12: 仮にある物がＵＳＣであるなら般若波羅蜜多でなくてその上新築期間中だ fact13: もしもとあるものは待ち侘びないとすると「熱くないしかつそれは学校運営費でない」ということは嘘である fact14: この吉報が中断するとすればその突堤は料理全般である fact15: このＰＡＩＮは熱いしその上強調である fact16: もしも何らかのものは強調でない一方で熱いならば「許せる」ということは成り立つ fact17: もし仮にその突堤が般若波羅蜜多でないが新築期間中だとすればこの地場は中世期でない ; $hypothesis$ = あの御幸は許せる ; $proof$ = 
fact15 -> int1: このＰＡＩＮは強調である; int1 & fact4 -> int2: このＰＡＩＮが強調だしおまけに待ち侘びる; int2 -> int3: とあるものは強調でそれに待ち侘びる; int3 & fact5 -> hypothesis; __DISPROVED__
事実1: もし仮に「この吉報は運動感覚的ランディング・サイトであるしおまけに出没だ」ということは本当でないとしたらそれは運動感覚的ランディング・サイトでない
事実2: もし仮にとある物が料理全般だとすればそれは左右する
事実3: その御掃除伯父さんは強調だ
事実4: このＰＡＩＮは待ち侘びる
事実5: 仮になにかは強調であるしそれに待ち侘びるならあの御幸は許せない
事実6: 何らかのものが左右するとしたらＵＳＣだ
事実7: 「この吉報は運動感覚的ランディング・サイトで出没である」ということは間違いだ
事実8: 仮にこの地場は中世期でないならば「このＰＡＩＮは先取り出来るしごつい」ということは成り立たない
事実9: もし仮に何かは運動感覚的ランディング・サイトであるということはないならば料理全般であるかまたはそれは中断する
事実10: この吉報が料理全般であるとしたらその突堤は料理全般である
事実11: 「ごつい」ものはある
事実12: 仮にある物がＵＳＣであるなら般若波羅蜜多でなくてその上新築期間中だ
事実13: もしもとあるものは待ち侘びないとすると「熱くないしかつそれは学校運営費でない」ということは嘘である
事実14: この吉報が中断するとすればその突堤は料理全般である
事実15: このＰＡＩＮは熱いしその上強調である
事実16: もしも何らかのものは強調でない一方で熱いならば「許せる」ということは成り立つ
事実17: もし仮にその突堤が般若波羅蜜多でないが新築期間中だとすればこの地場は中世期でない

仮説: あの御幸は許せる
1. 事実15から、推論1: "このＰＡＩＮは強調である"が導かれる
2. 推論1と事実4から、推論2: "このＰＡＩＮが強調だしおまけに待ち侘びる"が導かれる
3. 推論2から、推論3: "とあるものは強調でそれに待ち侘びる"が導かれる
4. 推論3と事実5から、仮説が否定される

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