あの七曲は仕事中毒でないししかも把握し辛くない
fact1: この置換基は理想化しない fact2: あの七曲は仕事中毒でないとしたら「その極楽往生は理想化しないしそれは仕事中毒だということはない」ということは誤りである fact3: 「その諸価値は把握し辛くない」ということは本当である fact4: 「ある物は哺乳だ」ということは成り立つとするとそれは把握し辛くないがしかし物欲しい fact5: 「あの七曲は仕事中毒でないけれどそれは八等分する」ということは真実だということはない fact6: その極楽往生は幻滅だ一方でそれは興味深くない fact7: もしもその極楽往生が理想化しないとすればそれは把握し辛くない fact8: もしその極楽往生は仕事中毒でないとしたら「あの七曲は把握し辛い一方でそれは仕事中毒でない」ということは間違っている fact9: 仮にその極楽往生は仕事中毒でないとすると「あの七曲は把握し辛くないけれど仕事中毒だ」ということは成り立たない fact10: あの七曲は仕置きでない fact11: 「この抗生剤は理想化するということはない」ということは成り立つ fact12: あの七曲は理想化しない fact13: もしも幻滅が興味深くないならばそのマルチメディア文化課程は哺乳だ fact14: 「その極楽往生は仕事中毒でないけれど把握し辛い」ということは間違いである fact15: もしその極楽往生は把握し辛くないとすると「あの七曲は仕事中毒でないし把握し辛くない」ということは成り立つということはない fact16: 「その極楽往生は理想化するということはない」ということは成り立つ fact17: もしあの七曲は把握し辛くないとすればそれは理想化しない
fact7 & fact16 -> int1: その極楽往生は把握し辛くない; int1 & fact15 -> hypothesis;
そのマルチメディア文化課程は仕事中毒でない
fact19 -> int2: もしそのマルチメディア文化課程が哺乳だとすればそれは把握し辛くない一方で物欲しい; fact20 -> int3: なにがしかのものは幻滅だが興味深くない; int3 & fact18 -> int4: そのマルチメディア文化課程は哺乳である; int2 & int4 -> int5: そのマルチメディア文化課程は把握し辛くないが物欲しい; int5 -> int6: 「そのマルチメディア文化課程は把握し辛くない」ということは真実だ;
$facts$ = fact1: この置換基は理想化しない fact2: あの七曲は仕事中毒でないとしたら「その極楽往生は理想化しないしそれは仕事中毒だということはない」ということは誤りである fact3: 「その諸価値は把握し辛くない」ということは本当である fact4: 「ある物は哺乳だ」ということは成り立つとするとそれは把握し辛くないがしかし物欲しい fact5: 「あの七曲は仕事中毒でないけれどそれは八等分する」ということは真実だということはない fact6: その極楽往生は幻滅だ一方でそれは興味深くない fact7: もしもその極楽往生が理想化しないとすればそれは把握し辛くない fact8: もしその極楽往生は仕事中毒でないとしたら「あの七曲は把握し辛い一方でそれは仕事中毒でない」ということは間違っている fact9: 仮にその極楽往生は仕事中毒でないとすると「あの七曲は把握し辛くないけれど仕事中毒だ」ということは成り立たない fact10: あの七曲は仕置きでない fact11: 「この抗生剤は理想化するということはない」ということは成り立つ fact12: あの七曲は理想化しない fact13: もしも幻滅が興味深くないならばそのマルチメディア文化課程は哺乳だ fact14: 「その極楽往生は仕事中毒でないけれど把握し辛い」ということは間違いである fact15: もしその極楽往生は把握し辛くないとすると「あの七曲は仕事中毒でないし把握し辛くない」ということは成り立つということはない fact16: 「その極楽往生は理想化するということはない」ということは成り立つ fact17: もしあの七曲は把握し辛くないとすればそれは理想化しない ; $hypothesis$ = あの七曲は仕事中毒でないししかも把握し辛くない ; $proof$ = 
fact7 & fact16 -> int1: その極楽往生は把握し辛くない; int1 & fact15 -> hypothesis; __DISPROVED__
事実1: この置換基は理想化しない
事実2: あの七曲は仕事中毒でないとしたら「その極楽往生は理想化しないしそれは仕事中毒だということはない」ということは誤りである
事実3: 「その諸価値は把握し辛くない」ということは本当である
事実4: 「ある物は哺乳だ」ということは成り立つとするとそれは把握し辛くないがしかし物欲しい
事実5: 「あの七曲は仕事中毒でないけれどそれは八等分する」ということは真実だということはない
事実6: その極楽往生は幻滅だ一方でそれは興味深くない
事実7: もしもその極楽往生が理想化しないとすればそれは把握し辛くない
事実8: もしその極楽往生は仕事中毒でないとしたら「あの七曲は把握し辛い一方でそれは仕事中毒でない」ということは間違っている
事実9: 仮にその極楽往生は仕事中毒でないとすると「あの七曲は把握し辛くないけれど仕事中毒だ」ということは成り立たない
事実10: あの七曲は仕置きでない
事実11: 「この抗生剤は理想化するということはない」ということは成り立つ
事実12: あの七曲は理想化しない
事実13: もしも幻滅が興味深くないならばそのマルチメディア文化課程は哺乳だ
事実14: 「その極楽往生は仕事中毒でないけれど把握し辛い」ということは間違いである
事実15: もしその極楽往生は把握し辛くないとすると「あの七曲は仕事中毒でないし把握し辛くない」ということは成り立つということはない
事実16: 「その極楽往生は理想化するということはない」ということは成り立つ
事実17: もしあの七曲は把握し辛くないとすればそれは理想化しない

仮説: あの七曲は仕事中毒でないししかも把握し辛くない
1. 事実7と事実16から、推論1: "その極楽往生は把握し辛くない"が導かれる
2. 推論1と事実15から、仮説が否定される

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