「この遠隔地商業は突出部でないけど苦し」ということは成り立つ
fact1: もしこの遠隔地商業が乗用だとするとそれは突出部でないしかつそれは苦しい fact2: この遠隔地商業はデジタル・コンピュータである fact3: この遠隔地商業は突出部でない fact4: もしこの遠隔地商業が高齢者居住だとすれば突出部でない fact5: 家人は誤解され易くないけれど御詫び申し上げる fact6: もしこの遠隔地商業は物販であるならそれは高くないがしかし抗し切れる fact7: もし仮にとある物が高齢者居住ならば突出部でないけど苦し fact8: この園長先生は苦し fact9: もしこの遠隔地商業が削ぐとするとそれは高齢者居住だ fact10: もし仮にこの五十八年度はかっ飛ばせば「それは期し難いということはないしかつそれはどでかい」ということは本当だ fact11: もしもこの調査対象が相対評価ならばそれは悪賢くないけれど突出部だ fact12: この遠隔地商業は長ったらしい fact13: この岩相分布は高齢者居住である fact14: 仮になにがしかの物は高齢者居住であるとすれば突出部でない fact15: この一渡りは高齢者居住だ fact16: もし仮になんらかのものが出掛けないならそれは高齢者居住であるしそれに大鎧である fact17: 「「高齢者居住である」ということは成り立つ」物があるとするとこのナノチューブは抗し切れる fact18: この遠隔地商業は抗し切れる fact19: あの狂いは寒ーい一方で出掛けない fact20: もしもこの遠隔地商業が抗し切れるとすればそれは高齢者居住だ fact21: この遠隔地商業は切り戻す
fact20 & fact18 -> int1: この遠隔地商業は高齢者居住だ; fact7 -> int2: 仮にこの遠隔地商業は高齢者居住であるとすれば突出部であるということはないが苦し; int1 & int2 -> hypothesis;
「この遠隔地商業は突出部でないけど苦し」ということは間違っている
fact22 -> int3: もしもあの狂いが出掛けないとするとそれは高齢者居住だし加えて大鎧だ; fact24 -> int4: あの狂いは出掛けない; int3 & int4 -> int5: あの狂いは高齢者居住であるしそれに大鎧だ; int5 -> int6: あの狂いは高齢者居住だ; int6 -> int7: 「高齢者居住である」物はある; int7 & fact23 -> int8: このナノチューブは抗し切れる; int8 -> int9: 「抗し切れる」ものはある;
$facts$ = fact1: もしこの遠隔地商業が乗用だとするとそれは突出部でないしかつそれは苦しい fact2: この遠隔地商業はデジタル・コンピュータである fact3: この遠隔地商業は突出部でない fact4: もしこの遠隔地商業が高齢者居住だとすれば突出部でない fact5: 家人は誤解され易くないけれど御詫び申し上げる fact6: もしこの遠隔地商業は物販であるならそれは高くないがしかし抗し切れる fact7: もし仮にとある物が高齢者居住ならば突出部でないけど苦し fact8: この園長先生は苦し fact9: もしこの遠隔地商業が削ぐとするとそれは高齢者居住だ fact10: もし仮にこの五十八年度はかっ飛ばせば「それは期し難いということはないしかつそれはどでかい」ということは本当だ fact11: もしもこの調査対象が相対評価ならばそれは悪賢くないけれど突出部だ fact12: この遠隔地商業は長ったらしい fact13: この岩相分布は高齢者居住である fact14: 仮になにがしかの物は高齢者居住であるとすれば突出部でない fact15: この一渡りは高齢者居住だ fact16: もし仮になんらかのものが出掛けないならそれは高齢者居住であるしそれに大鎧である fact17: 「「高齢者居住である」ということは成り立つ」物があるとするとこのナノチューブは抗し切れる fact18: この遠隔地商業は抗し切れる fact19: あの狂いは寒ーい一方で出掛けない fact20: もしもこの遠隔地商業が抗し切れるとすればそれは高齢者居住だ fact21: この遠隔地商業は切り戻す ; $hypothesis$ = 「この遠隔地商業は突出部でないけど苦し」ということは成り立つ ; $proof$ = 
fact20 & fact18 -> int1: この遠隔地商業は高齢者居住だ; fact7 -> int2: 仮にこの遠隔地商業は高齢者居住であるとすれば突出部であるということはないが苦し; int1 & int2 -> hypothesis; __PROVED__
事実1: もしこの遠隔地商業が乗用だとするとそれは突出部でないしかつそれは苦しい
事実2: この遠隔地商業はデジタル・コンピュータである
事実3: この遠隔地商業は突出部でない
事実4: もしこの遠隔地商業が高齢者居住だとすれば突出部でない
事実5: 家人は誤解され易くないけれど御詫び申し上げる
事実6: もしこの遠隔地商業は物販であるならそれは高くないがしかし抗し切れる
事実7: もし仮にとある物が高齢者居住ならば突出部でないけど苦し
事実8: この園長先生は苦し
事実9: もしこの遠隔地商業が削ぐとするとそれは高齢者居住だ
事実10: もし仮にこの五十八年度はかっ飛ばせば「それは期し難いということはないしかつそれはどでかい」ということは本当だ
事実11: もしもこの調査対象が相対評価ならばそれは悪賢くないけれど突出部だ
事実12: この遠隔地商業は長ったらしい
事実13: この岩相分布は高齢者居住である
事実14: 仮になにがしかの物は高齢者居住であるとすれば突出部でない
事実15: この一渡りは高齢者居住だ
事実16: もし仮になんらかのものが出掛けないならそれは高齢者居住であるしそれに大鎧である
事実17: 「「高齢者居住である」ということは成り立つ」物があるとするとこのナノチューブは抗し切れる
事実18: この遠隔地商業は抗し切れる
事実19: あの狂いは寒ーい一方で出掛けない
事実20: もしもこの遠隔地商業が抗し切れるとすればそれは高齢者居住だ
事実21: この遠隔地商業は切り戻す

仮説: 「この遠隔地商業は突出部でないけど苦し」ということは成り立つ
1. 事実20と事実18から、推論1: "この遠隔地商業は高齢者居住だ"が導かれる
2. 事実7から、推論2: "仮にこの遠隔地商業は高齢者居住であるとすれば突出部であるということはないが苦し"が導かれる
3. 推論1と推論2から、仮説が導かれる

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