この中絶率は譲渡等する
fact1: 仮になんらかの物が野垂れ死ねば苦痛緩和だ fact2: このフォール・ド・ラ・アールは賑々しいが麗しくない fact3: 仮にこのフォール・ド・ラ・アールが賑々しくて加えて野垂れ死ねば分裂する fact4: このフォール・ド・ラ・アールは麗しくない fact5: このフォール・ド・ラ・アールが譲渡等すればこの中絶率は譲渡等する fact6: この中絶率はいじましいということはない fact7: 仮にこの中絶率が分裂するしそれがいじましいとしたら野垂れ死ぬ fact8: もし仮にこの中絶率は分裂する一方でいじましいということはないとすると野垂れ死ぬ fact9: この中絶率は分裂するけどいじましくない fact10: もしも何かは苦痛緩和でそれに通報義務だとすれば譲渡等するということはない fact11: もしこの中絶率が麗しくてそれにそれは苦痛緩和だとしたら「野垂れ死ぬ」ということは成り立つ fact12: このフォール・ド・ラ・アールが賑々しいならばこの中絶率は通報義務である
fact2 -> int1: このフォール・ド・ラ・アールは賑々しい; int1 & fact12 -> int2: この中絶率は通報義務だ; fact1 -> int3: もしもこの中絶率が野垂れ死ぬとすると苦痛緩和である; fact8 & fact9 -> int4: この中絶率は野垂れ死ぬ; int3 & int4 -> int5: 「この中絶率は苦痛緩和である」ということは本当だ; int2 & int5 -> int6: この中絶率は苦痛緩和だしさらに通報義務である; fact10 -> int7: もしこの中絶率が苦痛緩和であるしそれは通報義務であるならそれは譲渡等するということはない; int6 & int7 -> hypothesis;
この中絶率は譲渡等する
$facts$ = fact1: 仮になんらかの物が野垂れ死ねば苦痛緩和だ fact2: このフォール・ド・ラ・アールは賑々しいが麗しくない fact3: 仮にこのフォール・ド・ラ・アールが賑々しくて加えて野垂れ死ねば分裂する fact4: このフォール・ド・ラ・アールは麗しくない fact5: このフォール・ド・ラ・アールが譲渡等すればこの中絶率は譲渡等する fact6: この中絶率はいじましいということはない fact7: 仮にこの中絶率が分裂するしそれがいじましいとしたら野垂れ死ぬ fact8: もし仮にこの中絶率は分裂する一方でいじましいということはないとすると野垂れ死ぬ fact9: この中絶率は分裂するけどいじましくない fact10: もしも何かは苦痛緩和でそれに通報義務だとすれば譲渡等するということはない fact11: もしこの中絶率が麗しくてそれにそれは苦痛緩和だとしたら「野垂れ死ぬ」ということは成り立つ fact12: このフォール・ド・ラ・アールが賑々しいならばこの中絶率は通報義務である ; $hypothesis$ = この中絶率は譲渡等する ; $proof$ = 
fact2 -> int1: このフォール・ド・ラ・アールは賑々しい; int1 & fact12 -> int2: この中絶率は通報義務だ; fact1 -> int3: もしもこの中絶率が野垂れ死ぬとすると苦痛緩和である; fact8 & fact9 -> int4: この中絶率は野垂れ死ぬ; int3 & int4 -> int5: 「この中絶率は苦痛緩和である」ということは本当だ; int2 & int5 -> int6: この中絶率は苦痛緩和だしさらに通報義務である; fact10 -> int7: もしこの中絶率が苦痛緩和であるしそれは通報義務であるならそれは譲渡等するということはない; int6 & int7 -> hypothesis; __DISPROVED__
事実1: 仮になんらかの物が野垂れ死ねば苦痛緩和だ
事実2: このフォール・ド・ラ・アールは賑々しいが麗しくない
事実3: 仮にこのフォール・ド・ラ・アールが賑々しくて加えて野垂れ死ねば分裂する
事実4: このフォール・ド・ラ・アールは麗しくない
事実5: このフォール・ド・ラ・アールが譲渡等すればこの中絶率は譲渡等する
事実6: この中絶率はいじましいということはない
事実7: 仮にこの中絶率が分裂するしそれがいじましいとしたら野垂れ死ぬ
事実8: もし仮にこの中絶率は分裂する一方でいじましいということはないとすると野垂れ死ぬ
事実9: この中絶率は分裂するけどいじましくない
事実10: もしも何かは苦痛緩和でそれに通報義務だとすれば譲渡等するということはない
事実11: もしこの中絶率が麗しくてそれにそれは苦痛緩和だとしたら「野垂れ死ぬ」ということは成り立つ
事実12: このフォール・ド・ラ・アールが賑々しいならばこの中絶率は通報義務である

仮説: この中絶率は譲渡等する
1. 事実2から、推論1: "このフォール・ド・ラ・アールは賑々しい"が導かれる
2. 推論1と事実12から、推論2: "この中絶率は通報義務だ"が導かれる
3. 事実1から、推論3: "もしもこの中絶率が野垂れ死ぬとすると苦痛緩和である"が導かれる
4. 事実8と事実9から、推論4: "この中絶率は野垂れ死ぬ"が導かれる
5. 推論3と推論4から、推論5: "「この中絶率は苦痛緩和である」ということは本当だ"が導かれる
6. 推論2と推論5から、推論6: "この中絶率は苦痛緩和だしさらに通報義務である"が導かれる
7. 事実10から、推論7: "もしこの中絶率が苦痛緩和であるしそれは通報義務であるならそれは譲渡等するということはない"が導かれる
8. 推論6と推論7から、仮説が否定される

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