「この高次化は来し易い」ということは真実である
fact1: この高次化は再編成する fact2: あの再スタートは再編成する fact3: もし「あの再スタートは再編成しない」ということは成り立つということはないとしたらこの高次化は来し易い fact4: 仮にこの試合後はときめかないなら「あの再スタートは来し易くて再編成する」ということは成り立つ fact5: この高次化は白い fact6: もしあの再スタートが説明し切れないならこのティフリギは再編成するしおまけに来し易い fact7: あの再スタートは行き難い fact8: もしあの再スタートが来し易くてかつ説明し切れればこの高次化は来し易くない fact9: この同義は再編成する fact10: その結束は来し易い fact11: あの再スタートは来し易い fact12: もし仮に「この試合後は戻り易くないがときめく」ということは成り立たないならそれはときめかない fact13: 「戻り易い」ものはある fact14: もしも何らかの物は紙ナプキンであるということはないとすれば「それは退却するということはないしそれは度し難い」ということは成り立つ fact15: もしも「この高次化は再編成する」ということは真実であるならばあの再スタートは来し易い fact16: その弧形は紙ナプキンでない fact17: あの再スタートが来し易いならこの高次化は再編成する fact18: 仮になにがしかのものが退却しないとすると説明し切れるかまたは等しいかあるいは両方ともである fact19: あの指導役は再編成する
fact3 & fact2 -> hypothesis;
fact3 & fact2 -> hypothesis;
この高次化は来し易くない
fact20 -> int1: もし仮にその弧形が退却しないとしたら説明し切れるかもしくは等しいかもしくはどちらもである; fact24 -> int2: もしその弧形が紙ナプキンでないとすればそれは退却しなくてそれは度し難い; int2 & fact25 -> int3: その弧形は退却しないが度し難い; int3 -> int4: 「その弧形は退却しない」ということは成り立つ; int1 & int4 -> int5: その弧形は説明し切れるかそれは等しいかまたはどちらもだ;
$facts$ = fact1: この高次化は再編成する fact2: あの再スタートは再編成する fact3: もし「あの再スタートは再編成しない」ということは成り立つということはないとしたらこの高次化は来し易い fact4: 仮にこの試合後はときめかないなら「あの再スタートは来し易くて再編成する」ということは成り立つ fact5: この高次化は白い fact6: もしあの再スタートが説明し切れないならこのティフリギは再編成するしおまけに来し易い fact7: あの再スタートは行き難い fact8: もしあの再スタートが来し易くてかつ説明し切れればこの高次化は来し易くない fact9: この同義は再編成する fact10: その結束は来し易い fact11: あの再スタートは来し易い fact12: もし仮に「この試合後は戻り易くないがときめく」ということは成り立たないならそれはときめかない fact13: 「戻り易い」ものはある fact14: もしも何らかの物は紙ナプキンであるということはないとすれば「それは退却するということはないしそれは度し難い」ということは成り立つ fact15: もしも「この高次化は再編成する」ということは真実であるならばあの再スタートは来し易い fact16: その弧形は紙ナプキンでない fact17: あの再スタートが来し易いならこの高次化は再編成する fact18: 仮になにがしかのものが退却しないとすると説明し切れるかまたは等しいかあるいは両方ともである fact19: あの指導役は再編成する ; $hypothesis$ = 「この高次化は来し易い」ということは真実である ; $proof$ = 
fact3 & fact2 -> hypothesis; __PROVED__
事実1: この高次化は再編成する
事実2: あの再スタートは再編成する
事実3: もし「あの再スタートは再編成しない」ということは成り立つということはないとしたらこの高次化は来し易い
事実4: 仮にこの試合後はときめかないなら「あの再スタートは来し易くて再編成する」ということは成り立つ
事実5: この高次化は白い
事実6: もしあの再スタートが説明し切れないならこのティフリギは再編成するしおまけに来し易い
事実7: あの再スタートは行き難い
事実8: もしあの再スタートが来し易くてかつ説明し切れればこの高次化は来し易くない
事実9: この同義は再編成する
事実10: その結束は来し易い
事実11: あの再スタートは来し易い
事実12: もし仮に「この試合後は戻り易くないがときめく」ということは成り立たないならそれはときめかない
事実13: 「戻り易い」ものはある
事実14: もしも何らかの物は紙ナプキンであるということはないとすれば「それは退却するということはないしそれは度し難い」ということは成り立つ
事実15: もしも「この高次化は再編成する」ということは真実であるならばあの再スタートは来し易い
事実16: その弧形は紙ナプキンでない
事実17: あの再スタートが来し易いならこの高次化は再編成する
事実18: 仮になにがしかのものが退却しないとすると説明し切れるかまたは等しいかあるいは両方ともである
事実19: あの指導役は再編成する

仮説: 「この高次化は来し易い」ということは真実である
1. 事実3と事実2から、仮説が導かれる

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