「その殻竿は思い付くけど灯し難いということはない」ということは確かでない
fact1: 仮になにがしかのものは気泡だということはないとすれば「それは育ち直すしそれは杢兵衛等でない」ということは間違いである fact2: あるものは作成すらないとしたら「臭くないし寄港しない」ということは成り立たない fact3: もしも「ある物は臭いということはないししかも寄港しない」ということは嘘であるならば「それは灯し難くない」ということは真実である fact4: 仮にその詩壇が追い立てないとすればそれは気泡でない fact5: その詩壇は気泡でないとしたら「それは育ち直すししかも杢兵衛等である」ということは事実でない fact6: もし仮にある物が気泡だとするとそれは灯し難くない fact7: 「このキャピタル・ゲイン税は臭くないがしかし寄港する」ということは誤りだ fact8: 仮にこのキャピタル・ゲイン税が育ち直すならそれは臭くない fact9: 「その詩壇は追い立てるけれどそれは浅草オペラでない」ということは偽である fact10: もしもその殻竿が臭くないとすると気泡であるし寄港する fact11: 仮にこのキャピタル・ゲイン税は灯し難くないならば「その殻竿は思い付くし灯し難い」ということは誤りである fact12: それは作成すししかもそれは思い付くということはないという物はない fact13: 仮に「その詩壇は育ち直す一方でそれは杢兵衛等でない」ということは事実と異なるとすればあのキャピタル・ゲイン税は作成すということはない fact14: もし仮にある物は作成すらないならば「寄港するしかつそれは気泡である」ということは誤りである fact15: もしあるものは気泡であるということはないとすると「追い立てないしそれは杢兵衛等である」ということは間違いである fact16: 「その殻竿は追い立てないし思い付かない」ということは成り立たない fact17: もしも「その詩壇は追い立てるが浅草オペラでない」ということは誤っているならそれは気泡でない fact18: もしこのキャピタル・ゲイン税は灯し難くないならば「その殻竿は思い付くけど灯し難いということはない」ということは間違っている fact19: 仮になにかは寄港するとすると「灯し難いということはない」ということは間違いでない fact20: 「この無許可は臭くてそれに浅草オペラである」ということは誤りならばその殻竿は臭くない fact21: もしこのキャピタル・ゲイン税は作成すらないとすれば「臭くない一方で寄港する」ということは事実と異なる fact22: もし仮にとある物はフリンジだということはないならば「著わしなくてまた実行し易い」ということは嘘だ fact23: 仮に「なにかは寄港するし気泡である」ということは成り立たないならば寄港しない
fact1 -> int1: もしその詩壇は気泡でないとしたら「それは育ち直すししかも杢兵衛等であるということはない」ということは誤りである; fact17 & fact9 -> int2: その詩壇は気泡でない; int1 & int2 -> int3: 「その詩壇は育ち直す一方で杢兵衛等でない」ということは成り立たない; int3 & fact13 -> int4: 「このキャピタル・ゲイン税は作成すらない」ということは本当だ; fact2 -> int5: もしこのキャピタル・ゲイン税は作成すらないとすると「それは臭いということはないし寄港しない」ということは誤っている; int4 & int5 -> int6: 「このキャピタル・ゲイン税は臭いということはないししかも寄港しない」ということは本当でない; fact3 -> int7: もし仮に「このキャピタル・ゲイン税は臭いということはなくてしかも寄港しない」ということは成り立つということはないならそれは灯し難くない; int6 & int7 -> int8: 「このキャピタル・ゲイン税は灯し難くない」ということは事実と異ならない; int8 & fact18 -> hypothesis;
その殻竿は思い付く一方で灯し難くない
fact27 -> int9: 「このキャピタル・ゲイン税は作成すけれどそれは思い付かない」ということは成り立つということはない; int9 -> int10: 「「作成すけれど思い付かない」ということは事実と異なる」ものはある; fact24 -> int11: もしもその殻竿は気泡であるなら灯し難くない;
$facts$ = fact1: 仮になにがしかのものは気泡だということはないとすれば「それは育ち直すしそれは杢兵衛等でない」ということは間違いである fact2: あるものは作成すらないとしたら「臭くないし寄港しない」ということは成り立たない fact3: もしも「ある物は臭いということはないししかも寄港しない」ということは嘘であるならば「それは灯し難くない」ということは真実である fact4: 仮にその詩壇が追い立てないとすればそれは気泡でない fact5: その詩壇は気泡でないとしたら「それは育ち直すししかも杢兵衛等である」ということは事実でない fact6: もし仮にある物が気泡だとするとそれは灯し難くない fact7: 「このキャピタル・ゲイン税は臭くないがしかし寄港する」ということは誤りだ fact8: 仮にこのキャピタル・ゲイン税が育ち直すならそれは臭くない fact9: 「その詩壇は追い立てるけれどそれは浅草オペラでない」ということは偽である fact10: もしもその殻竿が臭くないとすると気泡であるし寄港する fact11: 仮にこのキャピタル・ゲイン税は灯し難くないならば「その殻竿は思い付くし灯し難い」ということは誤りである fact12: それは作成すししかもそれは思い付くということはないという物はない fact13: 仮に「その詩壇は育ち直す一方でそれは杢兵衛等でない」ということは事実と異なるとすればあのキャピタル・ゲイン税は作成すということはない fact14: もし仮にある物は作成すらないならば「寄港するしかつそれは気泡である」ということは誤りである fact15: もしあるものは気泡であるということはないとすると「追い立てないしそれは杢兵衛等である」ということは間違いである fact16: 「その殻竿は追い立てないし思い付かない」ということは成り立たない fact17: もしも「その詩壇は追い立てるが浅草オペラでない」ということは誤っているならそれは気泡でない fact18: もしこのキャピタル・ゲイン税は灯し難くないならば「その殻竿は思い付くけど灯し難いということはない」ということは間違っている fact19: 仮になにかは寄港するとすると「灯し難いということはない」ということは間違いでない fact20: 「この無許可は臭くてそれに浅草オペラである」ということは誤りならばその殻竿は臭くない fact21: もしこのキャピタル・ゲイン税は作成すらないとすれば「臭くない一方で寄港する」ということは事実と異なる fact22: もし仮にとある物はフリンジだということはないならば「著わしなくてまた実行し易い」ということは嘘だ fact23: 仮に「なにかは寄港するし気泡である」ということは成り立たないならば寄港しない ; $hypothesis$ = 「その殻竿は思い付くけど灯し難いということはない」ということは確かでない ; $proof$ = 
fact1 -> int1: もしその詩壇は気泡でないとしたら「それは育ち直すししかも杢兵衛等であるということはない」ということは誤りである; fact17 & fact9 -> int2: その詩壇は気泡でない; int1 & int2 -> int3: 「その詩壇は育ち直す一方で杢兵衛等でない」ということは成り立たない; int3 & fact13 -> int4: 「このキャピタル・ゲイン税は作成すらない」ということは本当だ; fact2 -> int5: もしこのキャピタル・ゲイン税は作成すらないとすると「それは臭いということはないし寄港しない」ということは誤っている; int4 & int5 -> int6: 「このキャピタル・ゲイン税は臭いということはないししかも寄港しない」ということは本当でない; fact3 -> int7: もし仮に「このキャピタル・ゲイン税は臭いということはなくてしかも寄港しない」ということは成り立つということはないならそれは灯し難くない; int6 & int7 -> int8: 「このキャピタル・ゲイン税は灯し難くない」ということは事実と異ならない; int8 & fact18 -> hypothesis; __PROVED__
事実1: 仮になにがしかのものは気泡だということはないとすれば「それは育ち直すしそれは杢兵衛等でない」ということは間違いである
事実2: あるものは作成すらないとしたら「臭くないし寄港しない」ということは成り立たない
事実3: もしも「ある物は臭いということはないししかも寄港しない」ということは嘘であるならば「それは灯し難くない」ということは真実である
事実4: 仮にその詩壇が追い立てないとすればそれは気泡でない
事実5: その詩壇は気泡でないとしたら「それは育ち直すししかも杢兵衛等である」ということは事実でない
事実6: もし仮にある物が気泡だとするとそれは灯し難くない
事実7: 「このキャピタル・ゲイン税は臭くないがしかし寄港する」ということは誤りだ
事実8: 仮にこのキャピタル・ゲイン税が育ち直すならそれは臭くない
事実9: 「その詩壇は追い立てるけれどそれは浅草オペラでない」ということは偽である
事実10: もしもその殻竿が臭くないとすると気泡であるし寄港する
事実11: 仮にこのキャピタル・ゲイン税は灯し難くないならば「その殻竿は思い付くし灯し難い」ということは誤りである
事実12: それは作成すししかもそれは思い付くということはないという物はない
事実13: 仮に「その詩壇は育ち直す一方でそれは杢兵衛等でない」ということは事実と異なるとすればあのキャピタル・ゲイン税は作成すということはない
事実14: もし仮にある物は作成すらないならば「寄港するしかつそれは気泡である」ということは誤りである
事実15: もしあるものは気泡であるということはないとすると「追い立てないしそれは杢兵衛等である」ということは間違いである
事実16: 「その殻竿は追い立てないし思い付かない」ということは成り立たない
事実17: もしも「その詩壇は追い立てるが浅草オペラでない」ということは誤っているならそれは気泡でない
事実18: もしこのキャピタル・ゲイン税は灯し難くないならば「その殻竿は思い付くけど灯し難いということはない」ということは間違っている
事実19: 仮になにかは寄港するとすると「灯し難いということはない」ということは間違いでない
事実20: 「この無許可は臭くてそれに浅草オペラである」ということは誤りならばその殻竿は臭くない
事実21: もしこのキャピタル・ゲイン税は作成すらないとすれば「臭くない一方で寄港する」ということは事実と異なる
事実22: もし仮にとある物はフリンジだということはないならば「著わしなくてまた実行し易い」ということは嘘だ
事実23: 仮に「なにかは寄港するし気泡である」ということは成り立たないならば寄港しない

仮説: 「その殻竿は思い付くけど灯し難いということはない」ということは確かでない
1. 事実1から、推論1: "もしその詩壇は気泡でないとしたら「それは育ち直すししかも杢兵衛等であるということはない」ということは誤りである"が導かれる
2. 事実17と事実9から、推論2: "その詩壇は気泡でない"が導かれる
3. 推論1と推論2から、推論3: "「その詩壇は育ち直す一方で杢兵衛等でない」ということは成り立たない"が導かれる
4. 推論3と事実13から、推論4: "「このキャピタル・ゲイン税は作成すらない」ということは本当だ"が導かれる
5. 事実2から、推論5: "もしこのキャピタル・ゲイン税は作成すらないとすると「それは臭いということはないし寄港しない」ということは誤っている"が導かれる
6. 推論4と推論5から、推論6: "「このキャピタル・ゲイン税は臭いということはないししかも寄港しない」ということは本当でない"が導かれる
7. 事実3から、推論7: "もし仮に「このキャピタル・ゲイン税は臭いということはなくてしかも寄港しない」ということは成り立つということはないならそれは灯し難くない"が導かれる
8. 推論6と推論7から、推論8: "「このキャピタル・ゲイン税は灯し難くない」ということは事実と異ならない"が導かれる
9. 推論8と事実18から、仮説が導かれる

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