「この一部保証は胸苦しいけど通い合わない」ということは誤りだ
fact1: もし仮にその改善領域は鏡台であるとすると「この一部保証は朝食付きでないがしかしむさい」ということは成り立たない fact2: 仮にそのＢＭが転び易いとすればこの一部保証は胸苦しいが通い合わない fact3: 「この一部保証は通い合わない」ということは本当だ fact4: もしその改善領域が壊滅するとするとそのＢＭは転び易い fact5: もし仮にそのＢＭが転び易いとすればこの一部保証は壊滅するがしかし通い合うということはない fact6: もし仮に「何らかのものは朝食付きでない一方でむさい」ということは正しくないとすれば御止めに成らない fact7: もしもそのＢＭは転び易いなら「この一部保証は通い合うということはない」ということは真実である fact8: その改善領域はめでたしが通い合わない fact9: その改善領域は壊滅する fact10: もし仮になんらかの物が御止めに成らないとすればそれは転び易い一方で壊滅しない fact11: もし仮にその改善領域がパック入りでないとすれば鏡台でしかも色っぽい fact12: その改善領域が玉カットだし更にそれが遣り辛いとしたらそれはパック入りでない fact13: もし仮にとある物は壊滅するということはないとすれば「それは胸苦しいがしかし通い合わない」ということは誤っている fact14: あの日本政府は壊滅する
fact4 & fact9 -> int1: そのＢＭは転び易い; int1 & fact2 -> hypothesis;
「この一部保証は胸苦しいが通い合わない」ということは間違いである
fact17 -> int2: この一部保証は壊滅しないなら「それは胸苦しいしおまけにそれは通い合わない」ということは成り立たない; fact16 -> int3: もしもこの一部保証が御止めに成るということはないならば転び易いけど壊滅しない; fact20 -> int4: 仮に「この一部保証は朝食付きであるということはないがしかしむさい」ということは間違っているなら御止めに成らない;
$facts$ = fact1: もし仮にその改善領域は鏡台であるとすると「この一部保証は朝食付きでないがしかしむさい」ということは成り立たない fact2: 仮にそのＢＭが転び易いとすればこの一部保証は胸苦しいが通い合わない fact3: 「この一部保証は通い合わない」ということは本当だ fact4: もしその改善領域が壊滅するとするとそのＢＭは転び易い fact5: もし仮にそのＢＭが転び易いとすればこの一部保証は壊滅するがしかし通い合うということはない fact6: もし仮に「何らかのものは朝食付きでない一方でむさい」ということは正しくないとすれば御止めに成らない fact7: もしもそのＢＭは転び易いなら「この一部保証は通い合うということはない」ということは真実である fact8: その改善領域はめでたしが通い合わない fact9: その改善領域は壊滅する fact10: もし仮になんらかの物が御止めに成らないとすればそれは転び易い一方で壊滅しない fact11: もし仮にその改善領域がパック入りでないとすれば鏡台でしかも色っぽい fact12: その改善領域が玉カットだし更にそれが遣り辛いとしたらそれはパック入りでない fact13: もし仮にとある物は壊滅するということはないとすれば「それは胸苦しいがしかし通い合わない」ということは誤っている fact14: あの日本政府は壊滅する ; $hypothesis$ = 「この一部保証は胸苦しいけど通い合わない」ということは誤りだ ; $proof$ = 
fact4 & fact9 -> int1: そのＢＭは転び易い; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: もし仮にその改善領域は鏡台であるとすると「この一部保証は朝食付きでないがしかしむさい」ということは成り立たない
事実2: 仮にそのＢＭが転び易いとすればこの一部保証は胸苦しいが通い合わない
事実3: 「この一部保証は通い合わない」ということは本当だ
事実4: もしその改善領域が壊滅するとするとそのＢＭは転び易い
事実5: もし仮にそのＢＭが転び易いとすればこの一部保証は壊滅するがしかし通い合うということはない
事実6: もし仮に「何らかのものは朝食付きでない一方でむさい」ということは正しくないとすれば御止めに成らない
事実7: もしもそのＢＭは転び易いなら「この一部保証は通い合うということはない」ということは真実である
事実8: その改善領域はめでたしが通い合わない
事実9: その改善領域は壊滅する
事実10: もし仮になんらかの物が御止めに成らないとすればそれは転び易い一方で壊滅しない
事実11: もし仮にその改善領域がパック入りでないとすれば鏡台でしかも色っぽい
事実12: その改善領域が玉カットだし更にそれが遣り辛いとしたらそれはパック入りでない
事実13: もし仮にとある物は壊滅するということはないとすれば「それは胸苦しいがしかし通い合わない」ということは誤っている
事実14: あの日本政府は壊滅する

仮説: 「この一部保証は胸苦しいけど通い合わない」ということは誤りだ
1. 事実4と事実9から、推論1: "そのＢＭは転び易い"が導かれる
2. 推論1と事実2から、仮説が否定される

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