あの沖縄料理は御与えに成らない
fact1: その十三トリソミーは切り払わない fact2: あの山林経済は変え為さるか寝付けないかまたは両方ともである fact3: あの山林経済が切り払うということはないなら変え為さるかあるいは寝付けないかもしくはどちらもである fact4: その松風楼は生白いかまたはそれは寝付けないかもしくはどちらもだ fact5: 仮にそのＦＦ委員が書留郵便でないとしたらそれは生白くないかあるいはそれは怖くないかもしくは両方ともだ fact6: もし仮にあの山林経済がソートしないとするとあの沖縄料理は御与えに成らない fact7: もし仮にあの沖縄料理がソートするということはないならば御与えに成るかあるいはそれは切り払わないかあるいはどちらもである fact8: もし仮にあの政治統合はレイヤーセットでないとすれば「あの本丸跡は与え難くないし寄宿しない」ということは成り立たない fact9: 仮になにかは変え為さらないかもしくはそれは寝付けないかまたは両方であるとすると「それはソートしない」ということは間違っていない fact10: あの山林経済が御与えに成らないなら変え為さるかあるいはソートしないかまたは両方である fact11: あの沖縄料理はソートしない fact12: あの沖縄料理はソートしないか計り知れるかまたは両方である fact13: あの日本標準産業分類は変え為さらない fact14: あの山林経済は切り払わない fact15: なんらかの物が変え為さらないならソートしない fact16: せこいということはないものが怖くないとすればそれはレイヤーセットでない fact17: もし仮にその原子炉がソートしないならあの沖縄料理は御与えに成る fact18: もし仮になにかは変え為さらないかまたは御与えに成るということはないかまたは両方であるとしたら切り払わない fact19: もしもあの山林経済が変え為さらないとしたらそれはソートしない fact20: もしあの山林経済が寝付けないかまたはそれは変え為さらないかもしくはどちらもであるとしたらそれは御与えに成らない fact21: もし仮にあの山林経済が切り払わないとすると変え為さらないかもしくは寝付けるということはないかもしくは両方ともだ fact22: 「あの政治統合はＭＡＬＤＩ‐Ｔオブでまた馬力だ」ということは確かだ fact23: あの沖縄料理は変え為さらないかもしくは御与えに成らないかどちらもである fact24: もし仮にあの政治統合がＭＡＬＤＩ‐Ｔオブだとすればせこいということはないしその上怖くない fact25: あの沖縄料理は切り払わない
fact9 -> int1: もしもあの山林経済は変え為さらないか寝付けないかまたは両方ともならばそれはソートしない; fact14 & fact21 -> int2: あの山林経済は変え為さらないかまたは寝付けないかあるいはどちらもである; int1 & int2 -> int3: あの山林経済はソートするということはない; int3 & fact6 -> hypothesis;
あの沖縄料理は御与えに成る
fact27 -> int4: もしもあの政治統合はせこくないしそれに怖いということはないとしたらそれはレイヤーセットでない; fact28 -> int5: あの政治統合はＭＡＬＤＩ‐Ｔオブだ; fact29 & int5 -> int6: あの政治統合はせこくないし怖くない; int4 & int6 -> int7: あの政治統合はレイヤーセットでない; fact30 & int7 -> int8: 「あの本丸跡は与え難くないし加えてそれは寄宿するということはない」ということは成り立たない; int8 -> int9: 「「与え難いということはなくておまけに寄宿しない」ということは真実でない」物はある;
$facts$ = fact1: その十三トリソミーは切り払わない fact2: あの山林経済は変え為さるか寝付けないかまたは両方ともである fact3: あの山林経済が切り払うということはないなら変え為さるかあるいは寝付けないかもしくはどちらもである fact4: その松風楼は生白いかまたはそれは寝付けないかもしくはどちらもだ fact5: 仮にそのＦＦ委員が書留郵便でないとしたらそれは生白くないかあるいはそれは怖くないかもしくは両方ともだ fact6: もし仮にあの山林経済がソートしないとするとあの沖縄料理は御与えに成らない fact7: もし仮にあの沖縄料理がソートするということはないならば御与えに成るかあるいはそれは切り払わないかあるいはどちらもである fact8: もし仮にあの政治統合はレイヤーセットでないとすれば「あの本丸跡は与え難くないし寄宿しない」ということは成り立たない fact9: 仮になにかは変え為さらないかもしくはそれは寝付けないかまたは両方であるとすると「それはソートしない」ということは間違っていない fact10: あの山林経済が御与えに成らないなら変え為さるかあるいはソートしないかまたは両方である fact11: あの沖縄料理はソートしない fact12: あの沖縄料理はソートしないか計り知れるかまたは両方である fact13: あの日本標準産業分類は変え為さらない fact14: あの山林経済は切り払わない fact15: なんらかの物が変え為さらないならソートしない fact16: せこいということはないものが怖くないとすればそれはレイヤーセットでない fact17: もし仮にその原子炉がソートしないならあの沖縄料理は御与えに成る fact18: もし仮になにかは変え為さらないかまたは御与えに成るということはないかまたは両方であるとしたら切り払わない fact19: もしもあの山林経済が変え為さらないとしたらそれはソートしない fact20: もしあの山林経済が寝付けないかまたはそれは変え為さらないかもしくはどちらもであるとしたらそれは御与えに成らない fact21: もし仮にあの山林経済が切り払わないとすると変え為さらないかもしくは寝付けるということはないかもしくは両方ともだ fact22: 「あの政治統合はＭＡＬＤＩ‐Ｔオブでまた馬力だ」ということは確かだ fact23: あの沖縄料理は変え為さらないかもしくは御与えに成らないかどちらもである fact24: もし仮にあの政治統合がＭＡＬＤＩ‐Ｔオブだとすればせこいということはないしその上怖くない fact25: あの沖縄料理は切り払わない ; $hypothesis$ = あの沖縄料理は御与えに成らない ; $proof$ = 
fact9 -> int1: もしもあの山林経済は変え為さらないか寝付けないかまたは両方ともならばそれはソートしない; fact14 & fact21 -> int2: あの山林経済は変え為さらないかまたは寝付けないかあるいはどちらもである; int1 & int2 -> int3: あの山林経済はソートするということはない; int3 & fact6 -> hypothesis; __PROVED__
事実1: その十三トリソミーは切り払わない
事実2: あの山林経済は変え為さるか寝付けないかまたは両方ともである
事実3: あの山林経済が切り払うということはないなら変え為さるかあるいは寝付けないかもしくはどちらもである
事実4: その松風楼は生白いかまたはそれは寝付けないかもしくはどちらもだ
事実5: 仮にそのＦＦ委員が書留郵便でないとしたらそれは生白くないかあるいはそれは怖くないかもしくは両方ともだ
事実6: もし仮にあの山林経済がソートしないとするとあの沖縄料理は御与えに成らない
事実7: もし仮にあの沖縄料理がソートするということはないならば御与えに成るかあるいはそれは切り払わないかあるいはどちらもである
事実8: もし仮にあの政治統合はレイヤーセットでないとすれば「あの本丸跡は与え難くないし寄宿しない」ということは成り立たない
事実9: 仮になにかは変え為さらないかもしくはそれは寝付けないかまたは両方であるとすると「それはソートしない」ということは間違っていない
事実10: あの山林経済が御与えに成らないなら変え為さるかあるいはソートしないかまたは両方である
事実11: あの沖縄料理はソートしない
事実12: あの沖縄料理はソートしないか計り知れるかまたは両方である
事実13: あの日本標準産業分類は変え為さらない
事実14: あの山林経済は切り払わない
事実15: なんらかの物が変え為さらないならソートしない
事実16: せこいということはないものが怖くないとすればそれはレイヤーセットでない
事実17: もし仮にその原子炉がソートしないならあの沖縄料理は御与えに成る
事実18: もし仮になにかは変え為さらないかまたは御与えに成るということはないかまたは両方であるとしたら切り払わない
事実19: もしもあの山林経済が変え為さらないとしたらそれはソートしない
事実20: もしあの山林経済が寝付けないかまたはそれは変え為さらないかもしくはどちらもであるとしたらそれは御与えに成らない
事実21: もし仮にあの山林経済が切り払わないとすると変え為さらないかもしくは寝付けるということはないかもしくは両方ともだ
事実22: 「あの政治統合はＭＡＬＤＩ‐Ｔオブでまた馬力だ」ということは確かだ
事実23: あの沖縄料理は変え為さらないかもしくは御与えに成らないかどちらもである
事実24: もし仮にあの政治統合がＭＡＬＤＩ‐Ｔオブだとすればせこいということはないしその上怖くない
事実25: あの沖縄料理は切り払わない

仮説: あの沖縄料理は御与えに成らない
1. 事実9から、推論1: "もしもあの山林経済は変え為さらないか寝付けないかまたは両方ともならばそれはソートしない"が導かれる
2. 事実14と事実21から、推論2: "あの山林経済は変え為さらないかまたは寝付けないかあるいはどちらもである"が導かれる
3. 推論1と推論2から、推論3: "あの山林経済はソートするということはない"が導かれる
4. 推論3と事実6から、仮説が導かれる

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