「仮に由々しくないとすると「体得しない一方で行動する」ということは間違っている」ものはある
fact1: もし仮にこのデフォルト値は行動しないとすれば「それは福祉関係であるということはないけど身罷る」ということは成り立たない fact2: 仮になんらかのものはポルノグラフィでないとすると「授業日記でなくてローマ法である」ということは正しくない fact3: もし仮にとある物は体得しないとすれば「処刑しないし造像である」ということは誤りである fact4: もしもこのデフォルト値は由々しくないなら「それは体得しないが行動する」ということは間違っている fact5: もしこのデフォルト値は由々しくないとすると「それは言い辛いしおまけに返還後である」ということは成り立たない fact6: 「仮に由々しいとしたら「体得しないがしかし行動する」ということは誤りな」物はある fact7: 「もしも由々しくないなら体得しなくてその上行動する」ものはある
fact4 -> hypothesis;
fact4 -> hypothesis;
もし仮にその上品は体得しないとすると「それは処刑しないがしかし造像だ」ということは成り立たない
fact8 -> hypothesis;
$facts$ = fact1: もし仮にこのデフォルト値は行動しないとすれば「それは福祉関係であるということはないけど身罷る」ということは成り立たない fact2: 仮になんらかのものはポルノグラフィでないとすると「授業日記でなくてローマ法である」ということは正しくない fact3: もし仮にとある物は体得しないとすれば「処刑しないし造像である」ということは誤りである fact4: もしもこのデフォルト値は由々しくないなら「それは体得しないが行動する」ということは間違っている fact5: もしこのデフォルト値は由々しくないとすると「それは言い辛いしおまけに返還後である」ということは成り立たない fact6: 「仮に由々しいとしたら「体得しないがしかし行動する」ということは誤りな」物はある fact7: 「もしも由々しくないなら体得しなくてその上行動する」ものはある ; $hypothesis$ = 「仮に由々しくないとすると「体得しない一方で行動する」ということは間違っている」ものはある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: もし仮にこのデフォルト値は行動しないとすれば「それは福祉関係であるということはないけど身罷る」ということは成り立たない
事実2: 仮になんらかのものはポルノグラフィでないとすると「授業日記でなくてローマ法である」ということは正しくない
事実3: もし仮にとある物は体得しないとすれば「処刑しないし造像である」ということは誤りである
事実4: もしもこのデフォルト値は由々しくないなら「それは体得しないが行動する」ということは間違っている
事実5: もしこのデフォルト値は由々しくないとすると「それは言い辛いしおまけに返還後である」ということは成り立たない
事実6: 「仮に由々しいとしたら「体得しないがしかし行動する」ということは誤りな」物はある
事実7: 「もしも由々しくないなら体得しなくてその上行動する」ものはある

仮説: 「仮に由々しくないとすると「体得しない一方で行動する」ということは間違っている」ものはある
1. 事実4から、仮説が導かれる

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