そのＭＩＭＥ型は売り捲らない
fact1: その癌医療は一人勝ちする fact2: 仮にあの第四学年が果たし続けるとしたらそのＭＩＭＥ型は売り捲る fact3: もしもその癌医療が潜り込めるということはないならばこの結腸癌は創作する fact4: あの第四学年は早死にするししかも容易い fact5: もしあのＮＰＯ団体が御過ごし下さるならあの第四学年は果たし続ける fact6: この結腸癌は肯定しない fact7: その医療機関側は参加し易い fact8: とあるものが創作するなら冷戦構造である fact9: あの第四学年は喋り疲れる fact10: この結腸癌が喋り疲れるとするとあのＮＰＯ団体は冷戦構造である fact11: あのＮＰＯ団体は潜り込める fact12: もしもあのＮＰＯ団体が御過ごし下さるしおまけに潜り込めるならその癌医療は果たし続けない fact13: 仮にそのＭＩＭＥ型が創作するし更に売り捲るとしたらその癌医療は潜り込めない fact14: その医療機関側は肯定する fact15: 仮にその癌医療は常染色体上であるとしたら「それは御過ごし下さる」ということは確かである fact16: もしもその医療機関側が参加し易くてそれが肯定すればその癌医療は潜り込めない fact17: もし仮にこの結腸癌が冷戦構造であるとしたらあのＮＰＯ団体は喋り疲れる fact18: もしもある物が喋り疲れるとしたらそれは御過ごし下さる fact19: 仮にあのＮＰＯ団体が潜り込めればその癌医療は喋り疲れる fact20: もしもその医療機関側が参加し易いとしたらそれは潜り込める fact21: その癌医療は御過ごし下さる fact22: その発達は肯定する fact23: とあるものは肯定するとすると「それは潜り込める」ということは本当だ
fact7 & fact14 -> int1: その医療機関側は参加し易くてまたそれは肯定する; int1 & fact16 -> int2: その癌医療は潜り込めるということはない; int2 & fact3 -> int3: この結腸癌は創作する; fact8 -> int4: 仮にこの結腸癌が創作するとするとそれは冷戦構造だ; int3 & int4 -> int5: この結腸癌は冷戦構造である; int5 & fact17 -> int6: あのＮＰＯ団体は喋り疲れる; fact18 -> int7: もしあのＮＰＯ団体は喋り疲れるとすると「御過ごし下さる」ということは真実だ; int6 & int7 -> int8: あのＮＰＯ団体は御過ごし下さる; int8 & fact5 -> int9: あの第四学年は果たし続ける; int9 & fact2 -> 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$ = 
fact7 & fact14 -> int1: その医療機関側は参加し易くてまたそれは肯定する; int1 & fact16 -> int2: その癌医療は潜り込めるということはない; int2 & fact3 -> int3: この結腸癌は創作する; fact8 -> int4: 仮にこの結腸癌が創作するとするとそれは冷戦構造だ; int3 & int4 -> int5: この結腸癌は冷戦構造である; int5 & fact17 -> int6: あのＮＰＯ団体は喋り疲れる; fact18 -> int7: もしあのＮＰＯ団体は喋り疲れるとすると「御過ごし下さる」ということは真実だ; int6 & int7 -> int8: あのＮＰＯ団体は御過ごし下さる; int8 & fact5 -> int9: あの第四学年は果たし続ける; int9 & fact2 -> 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. 事実7と事実14から、推論1: "その医療機関側は参加し易くてまたそれは肯定する"が導かれる
2. 推論1と事実16から、推論2: "その癌医療は潜り込めるということはない"が導かれる
3. 推論2と事実3から、推論3: "この結腸癌は創作する"が導かれる
4. 事実8から、推論4: "仮にこの結腸癌が創作するとするとそれは冷戦構造だ"が導かれる
5. 推論3と推論4から、推論5: "この結腸癌は冷戦構造である"が導かれる
6. 推論5と事実17から、推論6: "あのＮＰＯ団体は喋り疲れる"が導かれる
7. 事実18から、推論7: "もしあのＮＰＯ団体は喋り疲れるとすると「御過ごし下さる」ということは真実だ"が導かれる
8. 推論6と推論7から、推論8: "あのＮＰＯ団体は御過ごし下さる"が導かれる
9. 推論8と事実5から、推論9: "あの第四学年は果たし続ける"が導かれる
10. 推論9と事実2から、仮説が否定される

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