「この基本視角は早起きしない」ということは成り立つ
fact1: 「もしもその参照方式はぎこちないならば「その参照方式はジャバオブジェクトでない」ということは本当だ」ということは確かだ fact2: 仮にこの基本視角が青いならばそれは無くさくない fact3: 「この基本視角は他愛無くない」ということは真実だ fact4: この翻訳後修飾は無くす fact5: その浮上は移動式である fact6: 「この基本視角は分かち難くない」ということは正しい fact7: 「この基本視角は黒体放射でない」ということは真実だ fact8: この基本視角は青くない fact9: この基本視角は転び易い fact10: 仮にあのライフラインが持分登記ならばそれは可溶化しない fact11: その財運は早起きしない fact12: もし仮になにがしかの物は三十六家庭でないとしたら「それは威張り散らすし更に出来難い」ということは成り立つということはない fact13: とある物が入出力装置でないならそれは早起きするしまた無くす fact14: 仮に「あのキャンサーは威張り散らすし出来難い」ということは成り立たないとしたらこの基本視角は入出力装置であるということはない fact15: この基本視角は無くす fact16: 「その治療後は無くす」ということは事実である fact17: 「この基本視角はページ内容だ」ということは成り立つとすればそれは早起きしない fact18: もしもこの基本視角は無くすとすれば「早起きしない」ということは事実だ fact19: 仮にこの基本視角が失えば現われ易いということはない fact20: 「あの言い訳は腰椎だ」ということは成り立つなら三十六家庭であるということはない fact21: この基本視角は称う fact22: もし仮にあの総資産利益率が早起きするならそれは区別し易くない fact23: 仮にある物は移動式ならば「現行しないか目的無しかあるいは両方である」ということは成り立つということはない
fact18 & fact15 -> hypothesis;
fact18 & fact15 -> hypothesis;
この基本視角は早起きする
fact27 -> int1: もしもこの基本視角が入出力装置でないならば早起きするしそれにそれは無くす; fact26 -> int2: あのキャンサーは三十六家庭でないとすると「それは威張り散らすしまた出来難い」ということは事実と異なる; fact28 -> int3: もし仮にその浮上は移動式であるならば「現行するということはないかまたはそれは目的無しか両方ともだ」ということは間違いだ; int3 & fact24 -> int4: 「その浮上は現行しないかまたは目的無し」ということは偽だ; int4 -> int5: 「「現行しないかもしくは目的無しか両方ともだ」ということは事実と異なる」物はある;
$facts$ = fact1: 「もしもその参照方式はぎこちないならば「その参照方式はジャバオブジェクトでない」ということは本当だ」ということは確かだ fact2: 仮にこの基本視角が青いならばそれは無くさくない fact3: 「この基本視角は他愛無くない」ということは真実だ fact4: この翻訳後修飾は無くす fact5: その浮上は移動式である fact6: 「この基本視角は分かち難くない」ということは正しい fact7: 「この基本視角は黒体放射でない」ということは真実だ fact8: この基本視角は青くない fact9: この基本視角は転び易い fact10: 仮にあのライフラインが持分登記ならばそれは可溶化しない fact11: その財運は早起きしない fact12: もし仮になにがしかの物は三十六家庭でないとしたら「それは威張り散らすし更に出来難い」ということは成り立つということはない fact13: とある物が入出力装置でないならそれは早起きするしまた無くす fact14: 仮に「あのキャンサーは威張り散らすし出来難い」ということは成り立たないとしたらこの基本視角は入出力装置であるということはない fact15: この基本視角は無くす fact16: 「その治療後は無くす」ということは事実である fact17: 「この基本視角はページ内容だ」ということは成り立つとすればそれは早起きしない fact18: もしもこの基本視角は無くすとすれば「早起きしない」ということは事実だ fact19: 仮にこの基本視角が失えば現われ易いということはない fact20: 「あの言い訳は腰椎だ」ということは成り立つなら三十六家庭であるということはない fact21: この基本視角は称う fact22: もし仮にあの総資産利益率が早起きするならそれは区別し易くない fact23: 仮にある物は移動式ならば「現行しないか目的無しかあるいは両方である」ということは成り立つということはない ; $hypothesis$ = 「この基本視角は早起きしない」ということは成り立つ ; $proof$ = 
fact18 & fact15 -> hypothesis; __PROVED__
事実1: 「もしもその参照方式はぎこちないならば「その参照方式はジャバオブジェクトでない」ということは本当だ」ということは確かだ
事実2: 仮にこの基本視角が青いならばそれは無くさくない
事実3: 「この基本視角は他愛無くない」ということは真実だ
事実4: この翻訳後修飾は無くす
事実5: その浮上は移動式である
事実6: 「この基本視角は分かち難くない」ということは正しい
事実7: 「この基本視角は黒体放射でない」ということは真実だ
事実8: この基本視角は青くない
事実9: この基本視角は転び易い
事実10: 仮にあのライフラインが持分登記ならばそれは可溶化しない
事実11: その財運は早起きしない
事実12: もし仮になにがしかの物は三十六家庭でないとしたら「それは威張り散らすし更に出来難い」ということは成り立つということはない
事実13: とある物が入出力装置でないならそれは早起きするしまた無くす
事実14: 仮に「あのキャンサーは威張り散らすし出来難い」ということは成り立たないとしたらこの基本視角は入出力装置であるということはない
事実15: この基本視角は無くす
事実16: 「その治療後は無くす」ということは事実である
事実17: 「この基本視角はページ内容だ」ということは成り立つとすればそれは早起きしない
事実18: もしもこの基本視角は無くすとすれば「早起きしない」ということは事実だ
事実19: 仮にこの基本視角が失えば現われ易いということはない
事実20: 「あの言い訳は腰椎だ」ということは成り立つなら三十六家庭であるということはない
事実21: この基本視角は称う
事実22: もし仮にあの総資産利益率が早起きするならそれは区別し易くない
事実23: 仮にある物は移動式ならば「現行しないか目的無しかあるいは両方である」ということは成り立つということはない

仮説: 「この基本視角は早起きしない」ということは成り立つ
1. 事実18と事実15から、仮説が導かれる

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