「その三連複馬券は露見するし標準的治療だ」ということは本当でない
fact1: もしこの一絡げが堪え難いならばその三連複馬券は黒みがかる fact2: この原子力発電は天井だ fact3: この一絡げは有り難ししかつ赤っぽい fact4: このＴ／Ｃは病み衰えるし追っ付く fact5: もしもこの花吹雪が本作品でないならこの利用者主体は種子であるしまた露見する fact6: その三連複馬券は細くない fact7: もし仮に「この原子力発電は天井であるか細くないかまたはどちらもだ」ということは真実でないならこの花吹雪は本作品でない fact8: この原子力発電が種子であるとすればあの花吹雪は有り難し fact9: もし仮に「この花吹雪は種子だしまた細い」ということは偽だということはないならばそれは天井であるということはない fact10: この花吹雪は種子でおまけに本作品である fact11: この原子力発電は黒みがかる fact12: この花吹雪は細い fact13: 「この花吹雪は天井であるということはない」ということは本当であるならばこの原子力発電は有り難し fact14: その三連複馬券は標準的治療だ fact15: もしその三連複馬券が露見するとすると堪え難い fact16: もしその三連複馬券が細いとすればこの花吹雪は黒みがかる fact17: 仮にこの原子力発電は有り難しとしたら「この一絡げは堪え難いということはない」ということは真実でない fact18: もしこの原子力発電が天井であるということはないとするとこの花吹雪は細くないがしかしそれは本作品だ fact19: 仮にその三連複馬券が黒みがかるとしたら露見する fact20: もし「この花吹雪は本作品でないけれど種子である」ということは確かだとしたらその三連複馬券は種子でない fact21: この花吹雪は本作品だ fact22: 仮に「この花吹雪は堪え難くないかもしくは細い」ということは間違いであるとしたら種子でない fact23: 仮になにかは種子でないとすれば「それは露見するしさらに標準的治療だ」ということは成り立たない
fact10 -> int1: この花吹雪は種子である; int1 & fact12 -> int2: この花吹雪が種子だし更にそれは細い; int2 & fact9 -> int3: 「この花吹雪は天井だということはない」ということは真実である; int3 & fact13 -> int4: この原子力発電は有り難し; int4 & fact17 -> int5: この一絡げは堪え難い; int5 & fact1 -> int6: その三連複馬券は黒みがかる; int6 & fact19 -> int7: その三連複馬券は露見する; int7 & fact14 -> hypothesis;
この一絡げは小憎らしいししかも有り難し
$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$ = 
fact10 -> int1: この花吹雪は種子である; int1 & fact12 -> int2: この花吹雪が種子だし更にそれは細い; int2 & fact9 -> int3: 「この花吹雪は天井だということはない」ということは真実である; int3 & fact13 -> int4: この原子力発電は有り難し; int4 & fact17 -> int5: この一絡げは堪え難い; int5 & fact1 -> int6: その三連複馬券は黒みがかる; int6 & fact19 -> int7: その三連複馬券は露見する; int7 & fact14 -> hypothesis; __DISPROVED__
事実1: もしこの一絡げが堪え難いならばその三連複馬券は黒みがかる
事実2: この原子力発電は天井だ
事実3: この一絡げは有り難ししかつ赤っぽい
事実4: このＴ／Ｃは病み衰えるし追っ付く
事実5: もしもこの花吹雪が本作品でないならこの利用者主体は種子であるしまた露見する
事実6: その三連複馬券は細くない
事実7: もし仮に「この原子力発電は天井であるか細くないかまたはどちらもだ」ということは真実でないならこの花吹雪は本作品でない
事実8: この原子力発電が種子であるとすればあの花吹雪は有り難し
事実9: もし仮に「この花吹雪は種子だしまた細い」ということは偽だということはないならばそれは天井であるということはない
事実10: この花吹雪は種子でおまけに本作品である
事実11: この原子力発電は黒みがかる
事実12: この花吹雪は細い
事実13: 「この花吹雪は天井であるということはない」ということは本当であるならばこの原子力発電は有り難し
事実14: その三連複馬券は標準的治療だ
事実15: もしその三連複馬券が露見するとすると堪え難い
事実16: もしその三連複馬券が細いとすればこの花吹雪は黒みがかる
事実17: 仮にこの原子力発電は有り難しとしたら「この一絡げは堪え難いということはない」ということは真実でない
事実18: もしこの原子力発電が天井であるということはないとするとこの花吹雪は細くないがしかしそれは本作品だ
事実19: 仮にその三連複馬券が黒みがかるとしたら露見する
事実20: もし「この花吹雪は本作品でないけれど種子である」ということは確かだとしたらその三連複馬券は種子でない
事実21: この花吹雪は本作品だ
事実22: 仮に「この花吹雪は堪え難くないかもしくは細い」ということは間違いであるとしたら種子でない
事実23: 仮になにかは種子でないとすれば「それは露見するしさらに標準的治療だ」ということは成り立たない

仮説: 「その三連複馬券は露見するし標準的治療だ」ということは本当でない
1. 事実10から、推論1: "この花吹雪は種子である"が導かれる
2. 推論1と事実12から、推論2: "この花吹雪が種子だし更にそれは細い"が導かれる
3. 推論2と事実9から、推論3: "「この花吹雪は天井だということはない」ということは真実である"が導かれる
4. 推論3と事実13から、推論4: "この原子力発電は有り難し"が導かれる
5. 推論4と事実17から、推論5: "この一絡げは堪え難い"が導かれる
6. 推論5と事実1から、推論6: "その三連複馬券は黒みがかる"が導かれる
7. 推論6と事実19から、推論7: "その三連複馬券は露見する"が導かれる
8. 推論7と事実14から、仮説が否定される

よって、仮説が否定されました。