あの数理計算上は礼儀正しい
fact1: もしあの数理計算上が頂けるなら根気強い fact2: あの都市構造は礼儀正しい fact3: そのドイツ法は見付け易い fact4: この派閥政治は見付け易い fact5: もしもあの数理計算上は十日判決であるならそれは医療法人財団だ fact6: あの数理計算上は大入道であるし更に仄聞する fact7: 「その静座は都民でないがそれは三人衆だ」ということは嘘である fact8: あの無差別爆撃は礼儀正しい fact9: 「苦くないがしかしティーティーな」ものはある fact10: 苦くないものがティーティーだとしたらあの数理計算上は安っぽくない fact11: あの数理計算上は見付け易い fact12: あの数理計算上は撃墜する fact13: その資金調達方法は礼儀正しい fact14: 根気強いものは見付け易いということはない一方で惜しい fact15: 何かは医療法人財団である一方で存立しないとすればそれは頂ける fact16: 仮に「この総務主任は根気強くない」ということは本当であるならそれが見付け易いしその上惜しい fact17: あの数理計算上は行えるし見付け易い fact18: あの数理計算上は礼儀正しいしその上見付け易い fact19: あの数理計算上が安っぽくないならばそれが十日判決だし更にそれは呼吸状態だ fact20: あの数理計算上は詳しい fact21: 仮に見付け易くないものが惜しいとすれば礼儀正しくない
fact18 -> hypothesis;
fact18 -> hypothesis;
あの数理計算上は礼儀正しくない
fact22 -> int1: もし仮にあの数理計算上が見付け易くないがそれは惜しいとしたら「それは礼儀正しくない」ということは確かである; fact23 -> int2: もしもあの数理計算上が根気強いとしたら見付け易くないしその上惜しい; fact25 -> int3: あの数理計算上が医療法人財団であるけど存立しないなら頂ける; fact29 & fact30 -> int4: あの数理計算上は安っぽくない; fact24 & int4 -> int5: あの数理計算上は十日判決であるし加えて呼吸状態である; int5 -> int6: あの数理計算上は十日判決だ; fact28 & int6 -> int7: あの数理計算上は医療法人財団だ; fact26 -> int8: 「「都民でないし加えて三人衆である」ということは成り立たない」物はある;
$facts$ = fact1: もしあの数理計算上が頂けるなら根気強い fact2: あの都市構造は礼儀正しい fact3: そのドイツ法は見付け易い fact4: この派閥政治は見付け易い fact5: もしもあの数理計算上は十日判決であるならそれは医療法人財団だ fact6: あの数理計算上は大入道であるし更に仄聞する fact7: 「その静座は都民でないがそれは三人衆だ」ということは嘘である fact8: あの無差別爆撃は礼儀正しい fact9: 「苦くないがしかしティーティーな」ものはある fact10: 苦くないものがティーティーだとしたらあの数理計算上は安っぽくない fact11: あの数理計算上は見付け易い fact12: あの数理計算上は撃墜する fact13: その資金調達方法は礼儀正しい fact14: 根気強いものは見付け易いということはない一方で惜しい fact15: 何かは医療法人財団である一方で存立しないとすればそれは頂ける fact16: 仮に「この総務主任は根気強くない」ということは本当であるならそれが見付け易いしその上惜しい fact17: あの数理計算上は行えるし見付け易い fact18: あの数理計算上は礼儀正しいしその上見付け易い fact19: あの数理計算上が安っぽくないならばそれが十日判決だし更にそれは呼吸状態だ fact20: あの数理計算上は詳しい fact21: 仮に見付け易くないものが惜しいとすれば礼儀正しくない ; $hypothesis$ = あの数理計算上は礼儀正しい ; $proof$ = 
fact18 -> hypothesis; __PROVED__
事実1: もしあの数理計算上が頂けるなら根気強い
事実2: あの都市構造は礼儀正しい
事実3: そのドイツ法は見付け易い
事実4: この派閥政治は見付け易い
事実5: もしもあの数理計算上は十日判決であるならそれは医療法人財団だ
事実6: あの数理計算上は大入道であるし更に仄聞する
事実7: 「その静座は都民でないがそれは三人衆だ」ということは嘘である
事実8: あの無差別爆撃は礼儀正しい
事実9: 「苦くないがしかしティーティーな」ものはある
事実10: 苦くないものがティーティーだとしたらあの数理計算上は安っぽくない
事実11: あの数理計算上は見付け易い
事実12: あの数理計算上は撃墜する
事実13: その資金調達方法は礼儀正しい
事実14: 根気強いものは見付け易いということはない一方で惜しい
事実15: 何かは医療法人財団である一方で存立しないとすればそれは頂ける
事実16: 仮に「この総務主任は根気強くない」ということは本当であるならそれが見付け易いしその上惜しい
事実17: あの数理計算上は行えるし見付け易い
事実18: あの数理計算上は礼儀正しいしその上見付け易い
事実19: あの数理計算上が安っぽくないならばそれが十日判決だし更にそれは呼吸状態だ
事実20: あの数理計算上は詳しい
事実21: 仮に見付け易くないものが惜しいとすれば礼儀正しくない

仮説: あの数理計算上は礼儀正しい
1. 事実18から、仮説が導かれる

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