そのヒット商品は得難い
fact1: 「海唐松である」ものはある fact2: もしも「海唐松でない」ものがあるならこの共生ゾーンは喚き続けない fact3: そのビギンサブルーチンは及び難い fact4: 「とある物は生じ易くないがしかし打ち合う」ということは偽だとすると忘れ果てない fact5: このカルビニストは黒っぽい fact6: もしこのカルビニストが木目細かいとするとそのヒット商品は得難い fact7: もしも何らかの物が敗死しないとしたらそれは消退するしさらにそれは屈従する fact8: この共生ゾーンは黒っぽくない fact9: その火花点火ガスエンジンは為さるしそれは黒っぽい fact10: もしそのビギンサブルーチンは及び難いとすれば「「生じ易くないししかも打ち合う」ということは成り立つ」ということは成り立たない fact11: もし仮に何らかのものは屈従するしかつ弁済出来るとしたら御脱ぎ為さらない fact12: 「長期目標は敗死しない」ということは真実だ fact13: もしもこのカルビニストは黒っぽくないとすると「この共生ゾーンは喚き続けない一方で海唐松だ」ということは成り立つということはない fact14: 「海唐松でない」物はある fact15: ある物が忘れ果てるということはないならば弁済出来る fact16: もしこの共生ゾーンが喚き続けないとするとこのカルビニストは木目細かいしおまけに黒っぽい fact17: もし仮に「そのビギンサブルーチンは御脱ぎ為さらない」ということは真実だとすれば「「このカルビニストは吹き飛ばすということはないが木目細かい」ということは誤っている」ということは成り立つ fact18: この共生ゾーンは木目細かい fact19: 全ては長期目標である fact20: もしもこの共生ゾーンが喚き続けないとするとこのカルビニストは黒っぽい
fact14 & fact2 -> int1: この共生ゾーンは喚き続けるということはない; int1 & fact16 -> int2: このカルビニストは木目細かくてまたそれは黒っぽい; int2 -> int3: このカルビニストは木目細かい; int3 & fact6 -> hypothesis;
そのヒット商品は得難くない
fact23 -> int4: もしそのビギンサブルーチンは屈従するししかも弁済出来ればそれは御脱ぎ為さらない; fact30 -> int5: 仮に「そのビギンサブルーチンは生じ易くないけどそれは打ち合う」ということは成り立たないとすると忘れ果てない; fact27 & fact29 -> int6: 「「そのビギンサブルーチンは生じ易くない一方で打ち合う」ということは間違いだ」ということは本当だ; int5 & int6 -> int7: そのビギンサブルーチンは忘れ果てない; fact25 -> int8: もし仮にそのビギンサブルーチンが忘れ果てるということはないならばそれは弁済出来る; int7 & int8 -> int9: そのビギンサブルーチンは弁済出来る; fact28 -> int10: もしもあのサウナ小屋が敗死するということはないとすればそれは消退するし加えて屈従する; fact26 -> int11: もしあのサウナ小屋が長期目標だとすると敗死しない; fact21 -> int12: あのサウナ小屋は長期目標である; int11 & int12 -> int13: あのサウナ小屋は敗死しない; int10 & int13 -> int14: あのサウナ小屋は消退するし屈従する; int14 -> int15: すべてのものは消退するしさらに屈従する; int15 -> int16: そのビギンサブルーチンは消退するししかも屈従する; int16 -> int17: そのビギンサブルーチンは屈従する; int9 & int17 -> int18: そのビギンサブルーチンは屈従するししかも弁済出来る; int4 & int18 -> int19: そのビギンサブルーチンは御脱ぎ為さらない; int19 & fact24 -> int20: 「このカルビニストは吹き飛ばさないけれどそれは木目細かい」ということは間違っている;
$facts$ = fact1: 「海唐松である」ものはある fact2: もしも「海唐松でない」ものがあるならこの共生ゾーンは喚き続けない fact3: そのビギンサブルーチンは及び難い fact4: 「とある物は生じ易くないがしかし打ち合う」ということは偽だとすると忘れ果てない fact5: このカルビニストは黒っぽい fact6: もしこのカルビニストが木目細かいとするとそのヒット商品は得難い fact7: もしも何らかの物が敗死しないとしたらそれは消退するしさらにそれは屈従する fact8: この共生ゾーンは黒っぽくない fact9: その火花点火ガスエンジンは為さるしそれは黒っぽい fact10: もしそのビギンサブルーチンは及び難いとすれば「「生じ易くないししかも打ち合う」ということは成り立つ」ということは成り立たない fact11: もし仮に何らかのものは屈従するしかつ弁済出来るとしたら御脱ぎ為さらない fact12: 「長期目標は敗死しない」ということは真実だ fact13: もしもこのカルビニストは黒っぽくないとすると「この共生ゾーンは喚き続けない一方で海唐松だ」ということは成り立つということはない fact14: 「海唐松でない」物はある fact15: ある物が忘れ果てるということはないならば弁済出来る fact16: もしこの共生ゾーンが喚き続けないとするとこのカルビニストは木目細かいしおまけに黒っぽい fact17: もし仮に「そのビギンサブルーチンは御脱ぎ為さらない」ということは真実だとすれば「「このカルビニストは吹き飛ばすということはないが木目細かい」ということは誤っている」ということは成り立つ fact18: この共生ゾーンは木目細かい fact19: 全ては長期目標である fact20: もしもこの共生ゾーンが喚き続けないとするとこのカルビニストは黒っぽい ; $hypothesis$ = そのヒット商品は得難い ; $proof$ = 
fact14 & fact2 -> int1: この共生ゾーンは喚き続けるということはない; int1 & fact16 -> int2: このカルビニストは木目細かくてまたそれは黒っぽい; int2 -> int3: このカルビニストは木目細かい; int3 & fact6 -> hypothesis; __PROVED__
事実1: 「海唐松である」ものはある
事実2: もしも「海唐松でない」ものがあるならこの共生ゾーンは喚き続けない
事実3: そのビギンサブルーチンは及び難い
事実4: 「とある物は生じ易くないがしかし打ち合う」ということは偽だとすると忘れ果てない
事実5: このカルビニストは黒っぽい
事実6: もしこのカルビニストが木目細かいとするとそのヒット商品は得難い
事実7: もしも何らかの物が敗死しないとしたらそれは消退するしさらにそれは屈従する
事実8: この共生ゾーンは黒っぽくない
事実9: その火花点火ガスエンジンは為さるしそれは黒っぽい
事実10: もしそのビギンサブルーチンは及び難いとすれば「「生じ易くないししかも打ち合う」ということは成り立つ」ということは成り立たない
事実11: もし仮に何らかのものは屈従するしかつ弁済出来るとしたら御脱ぎ為さらない
事実12: 「長期目標は敗死しない」ということは真実だ
事実13: もしもこのカルビニストは黒っぽくないとすると「この共生ゾーンは喚き続けない一方で海唐松だ」ということは成り立つということはない
事実14: 「海唐松でない」物はある
事実15: ある物が忘れ果てるということはないならば弁済出来る
事実16: もしこの共生ゾーンが喚き続けないとするとこのカルビニストは木目細かいしおまけに黒っぽい
事実17: もし仮に「そのビギンサブルーチンは御脱ぎ為さらない」ということは真実だとすれば「「このカルビニストは吹き飛ばすということはないが木目細かい」ということは誤っている」ということは成り立つ
事実18: この共生ゾーンは木目細かい
事実19: 全ては長期目標である
事実20: もしもこの共生ゾーンが喚き続けないとするとこのカルビニストは黒っぽい

仮説: そのヒット商品は得難い
1. 事実14と事実2から、推論1: "この共生ゾーンは喚き続けるということはない"が導かれる
2. 推論1と事実16から、推論2: "このカルビニストは木目細かくてまたそれは黒っぽい"が導かれる
3. 推論2から、推論3: "このカルビニストは木目細かい"が導かれる
4. 推論3と事実6から、仮説が導かれる

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