そのロココ曲線は実行義務である
fact1: あの疎開先は変え難いかあるいは御預けする fact2: 仮にあの疎開先が変え難いとすればあのロココ曲線は実行義務だ fact3: もしもこのＩ県が酩酊するならあの判断は多剤耐性だ fact4: もし仮にあの疎開先が実行義務だとするとそのロココ曲線は御預けする fact5: 締めっぽくない物は集め捲るし更に匹敵する fact6: もしあの疎開先が変え難い一方で御預けしないならばそのロココ曲線は実行義務でない fact7: 仮にそのロココ曲線が変え難いとしたらあの疎開先は実行義務である fact8: そのロココ曲線はボタンコントロールである fact9: 仮に「あの疎開先は御預けする」ということは正しいとするとそのロココ曲線は実行義務である fact10: 仮にあの二個分隊が締めっぽい一方で回転しないとするとあのＣアーは締めっぽくない fact11: 仮に何らかの物が三事件であるかトーク番組でないかあるいは両方であるならばトーク番組でない fact12: もしあの起草が怒鳴り込むとすればあの二個分隊は締めっぽいけれど回転しない fact13: 「「湿っぽいし弱々しい」ということは嘘な」ものはある fact14: あの起草は三事件であるかトーク番組であるということはない fact15: もしあの判断が集め捲るしおまけにそれが多剤耐性であるとしたらあの疎開先は対象群でない fact16: なにがしかの物が対象群でないとすれば変え難くてまた御預けしない fact17: もしあの起草がトーク番組でないとすればそれは怒鳴り込むし更にそれは総合文化研究科である fact18: 仮にあのＣアーは集め捲るなら「あの判断は集め捲る」ということは誤りでない fact19: あの疎開先は実行義務であるかそれは御預けするかもしくは両方である fact20: このＩ県が弱々しかないとしたら酩酊するしそれは接近し易い
fact1 & fact2 & fact9 -> hypothesis;
fact1 & fact2 & fact9 -> hypothesis;
そのロココ曲線は実行義務だということはない
fact28 -> int1: もしあの疎開先が対象群であるということはないならそれは変え難くて御預けするということはない; fact29 -> int2: もし仮にあのＣアーが締めっぽいということはないならばそれは集め捲るしさらに匹敵する; fact22 -> int3: 仮にあの起草が三事件であるかもしくはそれはトーク番組でないか両方ともならば「それはトーク番組でない」ということは正しい; int3 & fact31 -> int4: あの起草はトーク番組でない; fact30 & int4 -> int5: あの起草は怒鳴り込むし総合文化研究科である; int5 -> int6: あの起草は怒鳴り込む; fact21 & int6 -> int7: あの二個分隊は締めっぽいけれど回転するということはない; fact27 & int7 -> int8: あのＣアーは締めっぽくない; int2 & int8 -> int9: あのＣアーは集め捲るしおまけにそれは匹敵する; int9 -> int10: あのＣアーは集め捲る; fact23 & int10 -> int11: あの判断は集め捲る;
$facts$ = fact1: あの疎開先は変え難いかあるいは御預けする fact2: 仮にあの疎開先が変え難いとすればあのロココ曲線は実行義務だ fact3: もしもこのＩ県が酩酊するならあの判断は多剤耐性だ fact4: もし仮にあの疎開先が実行義務だとするとそのロココ曲線は御預けする fact5: 締めっぽくない物は集め捲るし更に匹敵する fact6: もしあの疎開先が変え難い一方で御預けしないならばそのロココ曲線は実行義務でない fact7: 仮にそのロココ曲線が変え難いとしたらあの疎開先は実行義務である fact8: そのロココ曲線はボタンコントロールである fact9: 仮に「あの疎開先は御預けする」ということは正しいとするとそのロココ曲線は実行義務である fact10: 仮にあの二個分隊が締めっぽい一方で回転しないとするとあのＣアーは締めっぽくない fact11: 仮に何らかの物が三事件であるかトーク番組でないかあるいは両方であるならばトーク番組でない fact12: もしあの起草が怒鳴り込むとすればあの二個分隊は締めっぽいけれど回転しない fact13: 「「湿っぽいし弱々しい」ということは嘘な」ものはある fact14: あの起草は三事件であるかトーク番組であるということはない fact15: もしあの判断が集め捲るしおまけにそれが多剤耐性であるとしたらあの疎開先は対象群でない fact16: なにがしかの物が対象群でないとすれば変え難くてまた御預けしない fact17: もしあの起草がトーク番組でないとすればそれは怒鳴り込むし更にそれは総合文化研究科である fact18: 仮にあのＣアーは集め捲るなら「あの判断は集め捲る」ということは誤りでない fact19: あの疎開先は実行義務であるかそれは御預けするかもしくは両方である fact20: このＩ県が弱々しかないとしたら酩酊するしそれは接近し易い ; $hypothesis$ = そのロココ曲線は実行義務である ; $proof$ = 
fact1 & fact2 & fact9 -> hypothesis; __PROVED__
事実1: あの疎開先は変え難いかあるいは御預けする
事実2: 仮にあの疎開先が変え難いとすればあのロココ曲線は実行義務だ
事実3: もしもこのＩ県が酩酊するならあの判断は多剤耐性だ
事実4: もし仮にあの疎開先が実行義務だとするとそのロココ曲線は御預けする
事実5: 締めっぽくない物は集め捲るし更に匹敵する
事実6: もしあの疎開先が変え難い一方で御預けしないならばそのロココ曲線は実行義務でない
事実7: 仮にそのロココ曲線が変え難いとしたらあの疎開先は実行義務である
事実8: そのロココ曲線はボタンコントロールである
事実9: 仮に「あの疎開先は御預けする」ということは正しいとするとそのロココ曲線は実行義務である
事実10: 仮にあの二個分隊が締めっぽい一方で回転しないとするとあのＣアーは締めっぽくない
事実11: 仮に何らかの物が三事件であるかトーク番組でないかあるいは両方であるならばトーク番組でない
事実12: もしあの起草が怒鳴り込むとすればあの二個分隊は締めっぽいけれど回転しない
事実13: 「「湿っぽいし弱々しい」ということは嘘な」ものはある
事実14: あの起草は三事件であるかトーク番組であるということはない
事実15: もしあの判断が集め捲るしおまけにそれが多剤耐性であるとしたらあの疎開先は対象群でない
事実16: なにがしかの物が対象群でないとすれば変え難くてまた御預けしない
事実17: もしあの起草がトーク番組でないとすればそれは怒鳴り込むし更にそれは総合文化研究科である
事実18: 仮にあのＣアーは集め捲るなら「あの判断は集め捲る」ということは誤りでない
事実19: あの疎開先は実行義務であるかそれは御預けするかもしくは両方である
事実20: このＩ県が弱々しかないとしたら酩酊するしそれは接近し易い

仮説: そのロココ曲線は実行義務である
1. 事実1と事実2と事実9から、仮説が導かれる

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