仮にその農村集落は冷め難いなら「あの為は気忙しくないがそれは重症児だ」ということは成り立たない
fact1: その農村集落が冷め難いとすればあの為は気忙しいということはないけれど重症児である fact2: もし「このＭ‐Ｘは埋置しない」ということは成り立つとしたら「「あの為は気忙しくない一方で重症児だ」ということは間違いだ」ということは成り立つ fact3: あの為は気忙しくないとすれば「その農村集落は重症児でないけどそれは冷め難い」ということは誤っている fact4: 「このＭ‐Ｘはスタイラスだ」ということは事実だとすれば「あの為は気忙しくないけれど埋置する」ということは偽である fact5: 「あの為は気忙しくて加えて重症児だ」ということは成り立つということはない fact6: 「その農村集落は冷め難い」ということは本当なら「あの為は気忙しくてまたそれは重症児である」ということは間違いだ fact7: 「このＭ‐Ｘは埋置する」ということは成り立たないなら「あの為は気忙しいし更に重症児である」ということは成り立たない fact8: 仮にこのＭ‐Ｘはスタイラスなら「あの為は埋置するということはないけど気忙しい」ということは偽だ fact9: その農村集落はスタイラスである fact10: その農村集落がスタイラスであるかあるいはそれが冷め難いならこのＭ‐Ｘは埋置しない fact11: もし仮にあの為はスタイラスでないとしたら「その農村集落は重症児だということはないがそれは冷め難い」ということは成り立たない
void -> assump1: 以下のように仮定する。その農村集落は冷め難い; assump1 -> int1: その農村集落はスタイラスであるかまたはそれは冷め難いかまたは両方ともだ; int1 & fact10 -> int2: このＭ‐Ｘは埋置しない; int2 & fact2 -> int3: 「あの為は気忙しくない一方で重症児である」ということは成り立たない; [assump1] & int3 -> hypothesis;
$facts$ = fact1: その農村集落が冷め難いとすればあの為は気忙しいということはないけれど重症児である fact2: もし「このＭ‐Ｘは埋置しない」ということは成り立つとしたら「「あの為は気忙しくない一方で重症児だ」ということは間違いだ」ということは成り立つ fact3: あの為は気忙しくないとすれば「その農村集落は重症児でないけどそれは冷め難い」ということは誤っている fact4: 「このＭ‐Ｘはスタイラスだ」ということは事実だとすれば「あの為は気忙しくないけれど埋置する」ということは偽である fact5: 「あの為は気忙しくて加えて重症児だ」ということは成り立つということはない fact6: 「その農村集落は冷め難い」ということは本当なら「あの為は気忙しくてまたそれは重症児である」ということは間違いだ fact7: 「このＭ‐Ｘは埋置する」ということは成り立たないなら「あの為は気忙しいし更に重症児である」ということは成り立たない fact8: 仮にこのＭ‐Ｘはスタイラスなら「あの為は埋置するということはないけど気忙しい」ということは偽だ fact9: その農村集落はスタイラスである fact10: その農村集落がスタイラスであるかあるいはそれが冷め難いならこのＭ‐Ｘは埋置しない fact11: もし仮にあの為はスタイラスでないとしたら「その農村集落は重症児だということはないがそれは冷め難い」ということは成り立たない ; $hypothesis$ = 仮にその農村集落は冷め難いなら「あの為は気忙しくないがそれは重症児だ」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。その農村集落は冷め難い; assump1 -> int1: その農村集落はスタイラスであるかまたはそれは冷め難いかまたは両方ともだ; int1 & fact10 -> int2: このＭ‐Ｘは埋置しない; int2 & fact2 -> int3: 「あの為は気忙しくない一方で重症児である」ということは成り立たない; [assump1] & int3 -> hypothesis; __PROVED__
事実1: その農村集落が冷め難いとすればあの為は気忙しいということはないけれど重症児である
事実2: もし「このＭ‐Ｘは埋置しない」ということは成り立つとしたら「「あの為は気忙しくない一方で重症児だ」ということは間違いだ」ということは成り立つ
事実3: あの為は気忙しくないとすれば「その農村集落は重症児でないけどそれは冷め難い」ということは誤っている
事実4: 「このＭ‐Ｘはスタイラスだ」ということは事実だとすれば「あの為は気忙しくないけれど埋置する」ということは偽である
事実5: 「あの為は気忙しくて加えて重症児だ」ということは成り立つということはない
事実6: 「その農村集落は冷め難い」ということは本当なら「あの為は気忙しくてまたそれは重症児である」ということは間違いだ
事実7: 「このＭ‐Ｘは埋置する」ということは成り立たないなら「あの為は気忙しいし更に重症児である」ということは成り立たない
事実8: 仮にこのＭ‐Ｘはスタイラスなら「あの為は埋置するということはないけど気忙しい」ということは偽だ
事実9: その農村集落はスタイラスである
事実10: その農村集落がスタイラスであるかあるいはそれが冷め難いならこのＭ‐Ｘは埋置しない
事実11: もし仮にあの為はスタイラスでないとしたら「その農村集落は重症児だということはないがそれは冷め難い」ということは成り立たない

仮説: 仮にその農村集落は冷め難いなら「あの為は気忙しくないがそれは重症児だ」ということは成り立たない
1. 仮定1: 以下のように仮定する。その農村集落は冷め難い
2. 仮定1から、推論1: "その農村集落はスタイラスであるかまたはそれは冷め難いかまたは両方ともだ"が導かれる
3. 推論1と事実10から、推論2: "このＭ‐Ｘは埋置しない"が導かれる
4. 推論2と事実2から、推論3: "「あの為は気忙しくない一方で重症児である」ということは成り立たない"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

よって、仮説が証明されました。