「もしぽんしないなら「注ぎ込めるがとろくない」ということは成り立たない」ものはある
fact1: もしあの刃筋は注ぎ込めないとすると「末恐ろしくてかつ家禽類でない」ということは事実と異なる fact2: 「ぽんしないとすれば注ぎ込めるがとろくない」物はある fact3: もしもあの刃筋はぽんしないとすれば「それは注ぎ込めるしそれはとろい」ということは嘘である fact4: もしもあの剪刀は処しないとすれば「ココログナビであるがしかし低くない」ということは間違いである fact5: 「もし仮に快挙でないとすると「連関図法だけど最もらしくない」ということは間違っている」ものはある fact6: 「もし仮に「ココログナビでない」ということは正しいとするとアートトラック系であるしかつ生還しない」ものはある fact7: 「仮に掴み易くないとすると辛抱強いしかつ塞がらない」ものはある fact8: もしあの刃筋はぽんしないならば「「注ぎ込めるしかつそれはとろくない」ということは真実である」ということは嘘だ fact9: もし仮にあの刃筋はペンネームでないとすると「ぽんするし回りくどい」ということは事実と異なる fact10: あの刃筋は掴み易くないとすると「それは各院であるがしかしとろくない」ということは成り立たない fact11: もしその核心部分はぽんしないなら「それは切り難いが近付き易くない」ということは間違っている fact12: 「明けないなら「脆いけれど高巻かない」ということは正しい」ものはある fact13: もし仮にあの刃筋がぽんしないとすればそれは注ぎ込めるしまたとろくない
fact8 -> hypothesis;
$facts$ = fact1: もしあの刃筋は注ぎ込めないとすると「末恐ろしくてかつ家禽類でない」ということは事実と異なる fact2: 「ぽんしないとすれば注ぎ込めるがとろくない」物はある fact3: もしもあの刃筋はぽんしないとすれば「それは注ぎ込めるしそれはとろい」ということは嘘である fact4: もしもあの剪刀は処しないとすれば「ココログナビであるがしかし低くない」ということは間違いである fact5: 「もし仮に快挙でないとすると「連関図法だけど最もらしくない」ということは間違っている」ものはある fact6: 「もし仮に「ココログナビでない」ということは正しいとするとアートトラック系であるしかつ生還しない」ものはある fact7: 「仮に掴み易くないとすると辛抱強いしかつ塞がらない」ものはある fact8: もしあの刃筋はぽんしないならば「「注ぎ込めるしかつそれはとろくない」ということは真実である」ということは嘘だ fact9: もし仮にあの刃筋はペンネームでないとすると「ぽんするし回りくどい」ということは事実と異なる fact10: あの刃筋は掴み易くないとすると「それは各院であるがしかしとろくない」ということは成り立たない fact11: もしその核心部分はぽんしないなら「それは切り難いが近付き易くない」ということは間違っている fact12: 「明けないなら「脆いけれど高巻かない」ということは正しい」ものはある fact13: もし仮にあの刃筋がぽんしないとすればそれは注ぎ込めるしまたとろくない ; $hypothesis$ = 「もしぽんしないなら「注ぎ込めるがとろくない」ということは成り立たない」ものはある ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: もしあの刃筋は注ぎ込めないとすると「末恐ろしくてかつ家禽類でない」ということは事実と異なる
事実2: 「ぽんしないとすれば注ぎ込めるがとろくない」物はある
事実3: もしもあの刃筋はぽんしないとすれば「それは注ぎ込めるしそれはとろい」ということは嘘である
事実4: もしもあの剪刀は処しないとすれば「ココログナビであるがしかし低くない」ということは間違いである
事実5: 「もし仮に快挙でないとすると「連関図法だけど最もらしくない」ということは間違っている」ものはある
事実6: 「もし仮に「ココログナビでない」ということは正しいとするとアートトラック系であるしかつ生還しない」ものはある
事実7: 「仮に掴み易くないとすると辛抱強いしかつ塞がらない」ものはある
事実8: もしあの刃筋はぽんしないならば「「注ぎ込めるしかつそれはとろくない」ということは真実である」ということは嘘だ
事実9: もし仮にあの刃筋はペンネームでないとすると「ぽんするし回りくどい」ということは事実と異なる
事実10: あの刃筋は掴み易くないとすると「それは各院であるがしかしとろくない」ということは成り立たない
事実11: もしその核心部分はぽんしないなら「それは切り難いが近付き易くない」ということは間違っている
事実12: 「明けないなら「脆いけれど高巻かない」ということは正しい」ものはある
事実13: もし仮にあの刃筋がぽんしないとすればそれは注ぎ込めるしまたとろくない

仮説: 「もしぽんしないなら「注ぎ込めるがとろくない」ということは成り立たない」ものはある
1. 事実8から、仮説が導かれる

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