「あの生まれ立ては聡くないがしかし色好い」ということは偽である
fact1: なにかは聡いがしかし和鉄でない fact2: もし仮にこの傍流は和鉄でないならば「あの生まれ立ては聡くないけど色好い」ということは間違いだ fact3: 「昨年夏だけれど刃向かわない」物はある fact4: もしも何らかの物が再現シーンでないとすれば色好くて更に驚嘆すということはない fact5: もしも「昨年夏であるし刃向かわない」ものがあるならばあの傍流は和鉄であるということはない fact6: 仮に色好いものが和鉄でないならあの生まれ立ては聡くない fact7: もしなにかは昨年夏なら「薄汚くないがしかし聡い」ということは事実でない fact8: 「この傍流は会社更生手続きであるかそれは途であるということはないかまたは両方ともである」ということは正しくない fact9: もし仮にあるものが和鉄であるということはないなら昨年夏であるし更に刃向かう fact10: 仮になにかは化合するならあのビネガーリンスは再現シーンでない fact11: 「「「あの生まれ立ては和鉄であるしそれは聡い」ということは正しい」ということは成り立たない」ということは成り立つ fact12: 色好い物が驚嘆すらないとするとそれは和鉄でない fact13: 「この傍流は会社更生手続きであるかまたは途でない」ということは嘘ならそれは化合する
fact3 & fact5 -> int1: 「この傍流は和鉄でない」ということは真実だ; int1 & fact2 -> hypothesis;
「あのビネガーリンスは薄汚いということはないがしかし聡い」ということは事実と異なる
fact18 -> int2: 仮にあのビネガーリンスは昨年夏であるとすれば「薄汚くないし聡い」ということは誤りである; fact17 -> int3: 仮にあのビネガーリンスが和鉄でないとすれば昨年夏であるし刃向かう; fact20 -> int4: もし仮にあのビネガーリンスは色好い一方で驚嘆すらないならば和鉄でない; fact19 -> int5: 仮にあのビネガーリンスが再現シーンでないとするとそれは色好いし更にそれは驚嘆すらない; fact16 & fact15 -> int6: この傍流は化合する; int6 -> int7: 「化合する」物はある; int7 & fact14 -> int8: あのビネガーリンスは再現シーンでない; int5 & int8 -> int9: あのビネガーリンスは色好いがしかし驚嘆すらない; int4 & int9 -> int10: 「あのビネガーリンスは和鉄でない」ということは真実である; int3 & int10 -> int11: あのビネガーリンスは昨年夏であるし刃向かう; int11 -> int12: あのビネガーリンスは昨年夏だ; int2 & int12 -> hypothesis;
$facts$ = fact1: なにかは聡いがしかし和鉄でない fact2: もし仮にこの傍流は和鉄でないならば「あの生まれ立ては聡くないけど色好い」ということは間違いだ fact3: 「昨年夏だけれど刃向かわない」物はある fact4: もしも何らかの物が再現シーンでないとすれば色好くて更に驚嘆すということはない fact5: もしも「昨年夏であるし刃向かわない」ものがあるならばあの傍流は和鉄であるということはない fact6: 仮に色好いものが和鉄でないならあの生まれ立ては聡くない fact7: もしなにかは昨年夏なら「薄汚くないがしかし聡い」ということは事実でない fact8: 「この傍流は会社更生手続きであるかそれは途であるということはないかまたは両方ともである」ということは正しくない fact9: もし仮にあるものが和鉄であるということはないなら昨年夏であるし更に刃向かう fact10: 仮になにかは化合するならあのビネガーリンスは再現シーンでない fact11: 「「「あの生まれ立ては和鉄であるしそれは聡い」ということは正しい」ということは成り立たない」ということは成り立つ fact12: 色好い物が驚嘆すらないとするとそれは和鉄でない fact13: 「この傍流は会社更生手続きであるかまたは途でない」ということは嘘ならそれは化合する ; $hypothesis$ = 「あの生まれ立ては聡くないがしかし色好い」ということは偽である ; $proof$ = 
fact3 & fact5 -> int1: 「この傍流は和鉄でない」ということは真実だ; int1 & fact2 -> hypothesis; __PROVED__
事実1: なにかは聡いがしかし和鉄でない
事実2: もし仮にこの傍流は和鉄でないならば「あの生まれ立ては聡くないけど色好い」ということは間違いだ
事実3: 「昨年夏だけれど刃向かわない」物はある
事実4: もしも何らかの物が再現シーンでないとすれば色好くて更に驚嘆すということはない
事実5: もしも「昨年夏であるし刃向かわない」ものがあるならばあの傍流は和鉄であるということはない
事実6: 仮に色好いものが和鉄でないならあの生まれ立ては聡くない
事実7: もしなにかは昨年夏なら「薄汚くないがしかし聡い」ということは事実でない
事実8: 「この傍流は会社更生手続きであるかそれは途であるということはないかまたは両方ともである」ということは正しくない
事実9: もし仮にあるものが和鉄であるということはないなら昨年夏であるし更に刃向かう
事実10: 仮になにかは化合するならあのビネガーリンスは再現シーンでない
事実11: 「「「あの生まれ立ては和鉄であるしそれは聡い」ということは正しい」ということは成り立たない」ということは成り立つ
事実12: 色好い物が驚嘆すらないとするとそれは和鉄でない
事実13: 「この傍流は会社更生手続きであるかまたは途でない」ということは嘘ならそれは化合する

仮説: 「あの生まれ立ては聡くないがしかし色好い」ということは偽である
1. 事実3と事実5から、推論1: "「この傍流は和鉄でない」ということは真実だ"が導かれる
2. 推論1と事実2から、仮説が導かれる

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