もし「「「このたまんは綿飴でないがそれは難し過ぎる」ということは正しい」ということは成り立つということはない」ということは本当であるとしたらそれは明確化する
fact1: 「その言文一致運動は明確化する」ということは成り立つとしたらそれは具有する fact2: もし仮に「あるものは綿飴でないけどそれは難し過ぎる」ということは成り立たないならばそれは明確化する fact3: もしこのたまんは具有するということはない一方で難し過ぎれば流し送る fact4: もし「とあるものはひしゃげない一方でへし折れる」ということは嘘であるとすると商人らしい fact5: 「このたまんは綿飴である」ということは成り立つとすると「全額支給する」ということは嘘でない fact6: 仮になにがしかのものが綿飴でないが難し過ぎるとすると明確化する fact7: もし「何らかのものはノギスでない一方で遊休だ」ということは誤っていれば「それは供給出来る」ということは真実である fact8: もしこのたまんが手厳しいならそれは難し過ぎる
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: 「その言文一致運動は明確化する」ということは成り立つとしたらそれは具有する fact2: もし仮に「あるものは綿飴でないけどそれは難し過ぎる」ということは成り立たないならばそれは明確化する fact3: もしこのたまんは具有するということはない一方で難し過ぎれば流し送る fact4: もし「とあるものはひしゃげない一方でへし折れる」ということは嘘であるとすると商人らしい fact5: 「このたまんは綿飴である」ということは成り立つとすると「全額支給する」ということは嘘でない fact6: 仮になにがしかのものが綿飴でないが難し過ぎるとすると明確化する fact7: もし「何らかのものはノギスでない一方で遊休だ」ということは誤っていれば「それは供給出来る」ということは真実である fact8: もしこのたまんが手厳しいならそれは難し過ぎる ; $hypothesis$ = もし「「「このたまんは綿飴でないがそれは難し過ぎる」ということは正しい」ということは成り立つということはない」ということは本当であるとしたらそれは明確化する ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 「その言文一致運動は明確化する」ということは成り立つとしたらそれは具有する
事実2: もし仮に「あるものは綿飴でないけどそれは難し過ぎる」ということは成り立たないならばそれは明確化する
事実3: もしこのたまんは具有するということはない一方で難し過ぎれば流し送る
事実4: もし「とあるものはひしゃげない一方でへし折れる」ということは嘘であるとすると商人らしい
事実5: 「このたまんは綿飴である」ということは成り立つとすると「全額支給する」ということは嘘でない
事実6: 仮になにがしかのものが綿飴でないが難し過ぎるとすると明確化する
事実7: もし「何らかのものはノギスでない一方で遊休だ」ということは誤っていれば「それは供給出来る」ということは真実である
事実8: もしこのたまんが手厳しいならそれは難し過ぎる

仮説: もし「「「このたまんは綿飴でないがそれは難し過ぎる」ということは正しい」ということは成り立つということはない」ということは本当であるとしたらそれは明確化する
1. 事実2から、仮説が導かれる

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