「「比すけれど互生しない」ということは成り立たないとすると濃紺でない」物はある
fact1: 「もし仮に比すしかつ互生しないとしたら濃紺でない」ものはある fact2: もし「この膵臓癌は比すけどそれは互生しない」ということは正しくないとしたら濃紺だ fact3: 「もしも比さないならば濃紺であるということはない」物はある fact4: 仮に「この膵臓癌は濃紺だしかつ胃内だ」ということは成り立たないならば回遊しない fact5: 「あの第一子はひ弱いが家集であるということはない」ということは成り立たないとしたら「貧農でない」ということは成り立つ fact6: 「「この膵臓癌は比すが互生しない」ということは真実である」ということは嘘だとすれば濃紺でない fact7: 「もしも「比すし加えて互生しない」ということは成り立つということはないとすると濃紺な」物はある fact8: もしもこの膵臓癌が比さないとするとそれは濃紺でない fact9: 「もしも「互生する」ということは事実と異ならないなら濃紺でない」物はある fact10: もし仮に「その家士はピストンスピードだ一方で濃紺でない」ということは誤りならそれは思い掛けない fact11: 「もし仮に「比すししかも互生する」ということは誤りだとすれば濃紺でない」ものはある
fact6 -> hypothesis;
fact6 -> hypothesis;
$facts$ = fact1: 「もし仮に比すしかつ互生しないとしたら濃紺でない」ものはある fact2: もし「この膵臓癌は比すけどそれは互生しない」ということは正しくないとしたら濃紺だ fact3: 「もしも比さないならば濃紺であるということはない」物はある fact4: 仮に「この膵臓癌は濃紺だしかつ胃内だ」ということは成り立たないならば回遊しない fact5: 「あの第一子はひ弱いが家集であるということはない」ということは成り立たないとしたら「貧農でない」ということは成り立つ fact6: 「「この膵臓癌は比すが互生しない」ということは真実である」ということは嘘だとすれば濃紺でない fact7: 「もしも「比すし加えて互生しない」ということは成り立つということはないとすると濃紺な」物はある fact8: もしもこの膵臓癌が比さないとするとそれは濃紺でない fact9: 「もしも「互生する」ということは事実と異ならないなら濃紺でない」物はある fact10: もし仮に「その家士はピストンスピードだ一方で濃紺でない」ということは誤りならそれは思い掛けない fact11: 「もし仮に「比すししかも互生する」ということは誤りだとすれば濃紺でない」ものはある ; $hypothesis$ = 「「比すけれど互生しない」ということは成り立たないとすると濃紺でない」物はある ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: 「もし仮に比すしかつ互生しないとしたら濃紺でない」ものはある
事実2: もし「この膵臓癌は比すけどそれは互生しない」ということは正しくないとしたら濃紺だ
事実3: 「もしも比さないならば濃紺であるということはない」物はある
事実4: 仮に「この膵臓癌は濃紺だしかつ胃内だ」ということは成り立たないならば回遊しない
事実5: 「あの第一子はひ弱いが家集であるということはない」ということは成り立たないとしたら「貧農でない」ということは成り立つ
事実6: 「「この膵臓癌は比すが互生しない」ということは真実である」ということは嘘だとすれば濃紺でない
事実7: 「もしも「比すし加えて互生しない」ということは成り立つということはないとすると濃紺な」物はある
事実8: もしもこの膵臓癌が比さないとするとそれは濃紺でない
事実9: 「もしも「互生する」ということは事実と異ならないなら濃紺でない」物はある
事実10: もし仮に「その家士はピストンスピードだ一方で濃紺でない」ということは誤りならそれは思い掛けない
事実11: 「もし仮に「比すししかも互生する」ということは誤りだとすれば濃紺でない」ものはある

仮説: 「「比すけれど互生しない」ということは成り立たないとすると濃紺でない」物はある
1. 事実6から、仮説が導かれる

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