「仮に「データ化しない」ということは成り立てば「嘆かわしいけど忝くない」ということは正しくない」ものはある
fact1: もしもその二次体が忝くないとすればそれは烏滸がましいしそれに向かい出すということはない fact2: 「仮に「山深い」ということは成り立つなら「断り続けるけど温め続けるということはない」ということは偽な」ものはある fact3: 「データ化しないならば「嘆かわしいししかも忝い」ということは正しくない」ものはある fact4: 「データ化しないとすると嘆かわしいが忝くない」ものはある fact5: 「もし恥ずかしいなら「雇用構造であるけれど残り難くない」ということは成り立たない」物はある fact6: 仮にとあるものは残虐性でないとすれば「増員すしかつそれは塩辛くない」ということは偽である fact7: 「百万円特別控除だとすると「フル回転するし加えて刑集でない」ということは誤りである」物はある fact8: 仮にこのイスラム原理主義者はデータ化しないとしたら「それは嘆かわしいし忝くない」ということは真実でない
fact8 -> hypothesis;
fact8 -> hypothesis;
「もしも残虐性でないとすれば「増員すし塩辛くない」ということは間違っている」ものはある
fact9 -> int1: 仮に「その新室は残虐性でない」ということは本当なら「それは増員すし加えて塩辛いということはない」ということは間違っている; int1 -> hypothesis;
$facts$ = fact1: もしもその二次体が忝くないとすればそれは烏滸がましいしそれに向かい出すということはない fact2: 「仮に「山深い」ということは成り立つなら「断り続けるけど温め続けるということはない」ということは偽な」ものはある fact3: 「データ化しないならば「嘆かわしいししかも忝い」ということは正しくない」ものはある fact4: 「データ化しないとすると嘆かわしいが忝くない」ものはある fact5: 「もし恥ずかしいなら「雇用構造であるけれど残り難くない」ということは成り立たない」物はある fact6: 仮にとあるものは残虐性でないとすれば「増員すしかつそれは塩辛くない」ということは偽である fact7: 「百万円特別控除だとすると「フル回転するし加えて刑集でない」ということは誤りである」物はある fact8: 仮にこのイスラム原理主義者はデータ化しないとしたら「それは嘆かわしいし忝くない」ということは真実でない ; $hypothesis$ = 「仮に「データ化しない」ということは成り立てば「嘆かわしいけど忝くない」ということは正しくない」ものはある ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: もしもその二次体が忝くないとすればそれは烏滸がましいしそれに向かい出すということはない
事実2: 「仮に「山深い」ということは成り立つなら「断り続けるけど温め続けるということはない」ということは偽な」ものはある
事実3: 「データ化しないならば「嘆かわしいししかも忝い」ということは正しくない」ものはある
事実4: 「データ化しないとすると嘆かわしいが忝くない」ものはある
事実5: 「もし恥ずかしいなら「雇用構造であるけれど残り難くない」ということは成り立たない」物はある
事実6: 仮にとあるものは残虐性でないとすれば「増員すしかつそれは塩辛くない」ということは偽である
事実7: 「百万円特別控除だとすると「フル回転するし加えて刑集でない」ということは誤りである」物はある
事実8: 仮にこのイスラム原理主義者はデータ化しないとしたら「それは嘆かわしいし忝くない」ということは真実でない

仮説: 「仮に「データ化しない」ということは成り立てば「嘆かわしいけど忝くない」ということは正しくない」ものはある
1. 事実8から、仮説が導かれる

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