「「もし外商であるということはないとしたら凸凹する一方でアメリカっぽくない」ものはある」ということは本当である
fact1: 「もし帰国時でないとすれば明示出来ない」ものはある fact2: 「「もしも世界史でないとすると貰い集めるが醸造技術でない」物はある」ということは成り立つ fact3: 仮にその複雑性は安堵し難くないとしたら奉天大会戦であるがしかし燥ぎ回らない fact4: 「もし外商だとすれば凸凹するしアメリカっぽくない」ものはある fact5: 「仮に授けないならば大人し過ぎない」物はある fact6: 仮にその心材が外商であるならば凸凹するしまたそれはアメリカっぽくない fact7: 「仮に帰国時でないとすれば物々しかない」物はある fact8: 「もし仮に外商でないとすれば凸凹するしアメリカっぽい」ものはある fact9: 野太くない物は屠るがしかしクリーンヒットしない fact10: 「もしも陀羅だということはないとすると大人しいけれどモデル化しない」ものはある fact11: もしその心材は外商でないとするとそれは凸凹する fact12: 「仮に吟味し直さないとしたら作中人物であるが太しない」ものはある fact13: もし仮にその心材が外商でないとすればそれは凸凹するしまたアメリカっぽい fact14: その心材が外商でないとしたら凸凹するしアメリカっぽくない fact15: 「「仮に外商であるということはないとしたら凸凹する」ものはある」ということは確かである
fact14 -> hypothesis;
「野太くないとすると屠るけどクリーンヒットするということはない」物はある
fact16 -> int1: あの樽屋が野太くないとすればそれは屠るしクリーンヒットしない; int1 -> hypothesis;
$facts$ = fact1: 「もし帰国時でないとすれば明示出来ない」ものはある fact2: 「「もしも世界史でないとすると貰い集めるが醸造技術でない」物はある」ということは成り立つ fact3: 仮にその複雑性は安堵し難くないとしたら奉天大会戦であるがしかし燥ぎ回らない fact4: 「もし外商だとすれば凸凹するしアメリカっぽくない」ものはある fact5: 「仮に授けないならば大人し過ぎない」物はある fact6: 仮にその心材が外商であるならば凸凹するしまたそれはアメリカっぽくない fact7: 「仮に帰国時でないとすれば物々しかない」物はある fact8: 「もし仮に外商でないとすれば凸凹するしアメリカっぽい」ものはある fact9: 野太くない物は屠るがしかしクリーンヒットしない fact10: 「もしも陀羅だということはないとすると大人しいけれどモデル化しない」ものはある fact11: もしその心材は外商でないとするとそれは凸凹する fact12: 「仮に吟味し直さないとしたら作中人物であるが太しない」ものはある fact13: もし仮にその心材が外商でないとすればそれは凸凹するしまたアメリカっぽい fact14: その心材が外商でないとしたら凸凹するしアメリカっぽくない fact15: 「「仮に外商であるということはないとしたら凸凹する」ものはある」ということは確かである ; $hypothesis$ = 「「もし外商であるということはないとしたら凸凹する一方でアメリカっぽくない」ものはある」ということは本当である ; $proof$ = 
fact14 -> hypothesis; __PROVED__
事実1: 「もし帰国時でないとすれば明示出来ない」ものはある
事実2: 「「もしも世界史でないとすると貰い集めるが醸造技術でない」物はある」ということは成り立つ
事実3: 仮にその複雑性は安堵し難くないとしたら奉天大会戦であるがしかし燥ぎ回らない
事実4: 「もし外商だとすれば凸凹するしアメリカっぽくない」ものはある
事実5: 「仮に授けないならば大人し過ぎない」物はある
事実6: 仮にその心材が外商であるならば凸凹するしまたそれはアメリカっぽくない
事実7: 「仮に帰国時でないとすれば物々しかない」物はある
事実8: 「もし仮に外商でないとすれば凸凹するしアメリカっぽい」ものはある
事実9: 野太くない物は屠るがしかしクリーンヒットしない
事実10: 「もしも陀羅だということはないとすると大人しいけれどモデル化しない」ものはある
事実11: もしその心材は外商でないとするとそれは凸凹する
事実12: 「仮に吟味し直さないとしたら作中人物であるが太しない」ものはある
事実13: もし仮にその心材が外商でないとすればそれは凸凹するしまたアメリカっぽい
事実14: その心材が外商でないとしたら凸凹するしアメリカっぽくない
事実15: 「「仮に外商であるということはないとしたら凸凹する」ものはある」ということは確かである

仮説: 「「もし外商であるということはないとしたら凸凹する一方でアメリカっぽくない」ものはある」ということは本当である
1. 事実14から、仮説が導かれる

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