その痺れは擦れ合う
fact1: その火山弾が断定し難いということはなくておまけに責任転嫁しないとしたら物凄い fact2: この瓦解は見過ごし難いしさらに生き直す fact3: もし「この壬生梛は奥深くない」ということは事実であるとしたらこの瓦解は生き直すか奥深いか両方ともである fact4: もしも「この瓦解は漏れ易くないけど移住先である」ということは成り立つということはないならこの壬生梛は奥深くない fact5: この瓦解は移住先であるし更にそれは奥深い fact6: この瓦解は見過ごし難い fact7: この壬生梛は塩辛いかあるいは成され易い fact8: その火山弾は物凄いならば「あの操舵はたわいないかまたはそれは本川達雄著でない」ということは誤っている fact9: もし「その痺れは漏れ易いということはない」ということは真実であるとしたらこの瓦解は擦れ合うかまたは漏れ易いかあるいはどちらもである fact10: この瓦解は奥深いなら「移住先でなくて加えてそれは擦れ合う」ということは間違いだ fact11: この瓦解は見過ごし難いかもしくは奥深いかもしくはどちらもだ fact12: もしもこの壬生梛が奥深くないならこの各家族は生まれ易いか奥深い fact13: 仮にこの各家族が見過ごし難くないとするとこの壬生梛は生まれ易いということはないかもしくは非居住者であるかもしくはどちらもだ fact14: 仮にとある物は生き直すとしたら「漏れ易くないけれど移住先だ」ということは真実でない fact15: この各家族が奥深いとすればあの痺れは擦れ合う fact16: 「仮に「この各家族は漏れ易い」ということは事実と異なるということはないとするとこの瓦解は奥深い」ということは本当だ fact17: もしもこの瓦解が奥深いとしたらこの各家族は見過ごし難い fact18: もし「なんらかの物は生き直さなくて奥深くない」ということは成り立たないとするとそれは擦れ合わない fact19: その火山弾は断定し難くないし責任転嫁しない fact20: この各家族が生まれ易いならばその痺れは擦れ合う fact21: もしも何かは生まれ易くないとすれば「生き直すということはなくてそれは奥深くない」ということは誤っている fact22: 仮にこの瓦解が移住先でないならばあの壬生梛は奥深くない
fact14 -> int1: もしこの瓦解は生き直すとすれば「漏れ易いということはなくてそれは移住先だ」ということは誤りだ; fact2 -> int2: この瓦解は生き直す; int1 & int2 -> int3: 「この瓦解は漏れ易くないが移住先である」ということは本当でない; int3 & fact4 -> int4: この壬生梛は奥深くない; int4 & fact12 -> int5: この各家族は生まれ易いかそれは奥深いかまたは両方だ; int5 & fact20 & fact15 -> hypothesis;
その痺れは擦れ合わない
fact24 -> int6: もし「その痺れは生き直すということはなくて奥深くない」ということは嘘であるとすれば「擦れ合わない」ということは成り立つ; fact26 -> int7: その痺れは生まれ易くないとすれば「生き直さなくて奥深くない」ということは成り立たない; fact27 & fact23 -> int8: その火山弾は物凄い; fact28 & int8 -> int9: 「あの操舵はたわいないかあるいはそれは本川達雄著だということはないかまたは両方だ」ということは誤っている; int9 -> int10: 「「「たわいないか本川達雄著でないかあるいは両方だ」ということは正しくない」ものはある」ということは誤っていない;
$facts$ = fact1: その火山弾が断定し難いということはなくておまけに責任転嫁しないとしたら物凄い fact2: この瓦解は見過ごし難いしさらに生き直す fact3: もし「この壬生梛は奥深くない」ということは事実であるとしたらこの瓦解は生き直すか奥深いか両方ともである fact4: もしも「この瓦解は漏れ易くないけど移住先である」ということは成り立つということはないならこの壬生梛は奥深くない fact5: この瓦解は移住先であるし更にそれは奥深い fact6: この瓦解は見過ごし難い fact7: この壬生梛は塩辛いかあるいは成され易い fact8: その火山弾は物凄いならば「あの操舵はたわいないかまたはそれは本川達雄著でない」ということは誤っている fact9: もし「その痺れは漏れ易いということはない」ということは真実であるとしたらこの瓦解は擦れ合うかまたは漏れ易いかあるいはどちらもである fact10: この瓦解は奥深いなら「移住先でなくて加えてそれは擦れ合う」ということは間違いだ fact11: この瓦解は見過ごし難いかもしくは奥深いかもしくはどちらもだ fact12: もしもこの壬生梛が奥深くないならこの各家族は生まれ易いか奥深い fact13: 仮にこの各家族が見過ごし難くないとするとこの壬生梛は生まれ易いということはないかもしくは非居住者であるかもしくはどちらもだ fact14: 仮にとある物は生き直すとしたら「漏れ易くないけれど移住先だ」ということは真実でない fact15: この各家族が奥深いとすればあの痺れは擦れ合う fact16: 「仮に「この各家族は漏れ易い」ということは事実と異なるということはないとするとこの瓦解は奥深い」ということは本当だ fact17: もしもこの瓦解が奥深いとしたらこの各家族は見過ごし難い fact18: もし「なんらかの物は生き直さなくて奥深くない」ということは成り立たないとするとそれは擦れ合わない fact19: その火山弾は断定し難くないし責任転嫁しない fact20: この各家族が生まれ易いならばその痺れは擦れ合う fact21: もしも何かは生まれ易くないとすれば「生き直すということはなくてそれは奥深くない」ということは誤っている fact22: 仮にこの瓦解が移住先でないならばあの壬生梛は奥深くない ; $hypothesis$ = その痺れは擦れ合う ; $proof$ = 
fact14 -> int1: もしこの瓦解は生き直すとすれば「漏れ易いということはなくてそれは移住先だ」ということは誤りだ; fact2 -> int2: この瓦解は生き直す; int1 & int2 -> int3: 「この瓦解は漏れ易くないが移住先である」ということは本当でない; int3 & fact4 -> int4: この壬生梛は奥深くない; int4 & fact12 -> int5: この各家族は生まれ易いかそれは奥深いかまたは両方だ; int5 & fact20 & fact15 -> hypothesis; __PROVED__
事実1: その火山弾が断定し難いということはなくておまけに責任転嫁しないとしたら物凄い
事実2: この瓦解は見過ごし難いしさらに生き直す
事実3: もし「この壬生梛は奥深くない」ということは事実であるとしたらこの瓦解は生き直すか奥深いか両方ともである
事実4: もしも「この瓦解は漏れ易くないけど移住先である」ということは成り立つということはないならこの壬生梛は奥深くない
事実5: この瓦解は移住先であるし更にそれは奥深い
事実6: この瓦解は見過ごし難い
事実7: この壬生梛は塩辛いかあるいは成され易い
事実8: その火山弾は物凄いならば「あの操舵はたわいないかまたはそれは本川達雄著でない」ということは誤っている
事実9: もし「その痺れは漏れ易いということはない」ということは真実であるとしたらこの瓦解は擦れ合うかまたは漏れ易いかあるいはどちらもである
事実10: この瓦解は奥深いなら「移住先でなくて加えてそれは擦れ合う」ということは間違いだ
事実11: この瓦解は見過ごし難いかもしくは奥深いかもしくはどちらもだ
事実12: もしもこの壬生梛が奥深くないならこの各家族は生まれ易いか奥深い
事実13: 仮にこの各家族が見過ごし難くないとするとこの壬生梛は生まれ易いということはないかもしくは非居住者であるかもしくはどちらもだ
事実14: 仮にとある物は生き直すとしたら「漏れ易くないけれど移住先だ」ということは真実でない
事実15: この各家族が奥深いとすればあの痺れは擦れ合う
事実16: 「仮に「この各家族は漏れ易い」ということは事実と異なるということはないとするとこの瓦解は奥深い」ということは本当だ
事実17: もしもこの瓦解が奥深いとしたらこの各家族は見過ごし難い
事実18: もし「なんらかの物は生き直さなくて奥深くない」ということは成り立たないとするとそれは擦れ合わない
事実19: その火山弾は断定し難くないし責任転嫁しない
事実20: この各家族が生まれ易いならばその痺れは擦れ合う
事実21: もしも何かは生まれ易くないとすれば「生き直すということはなくてそれは奥深くない」ということは誤っている
事実22: 仮にこの瓦解が移住先でないならばあの壬生梛は奥深くない

仮説: その痺れは擦れ合う
1. 事実14から、推論1: "もしこの瓦解は生き直すとすれば「漏れ易いということはなくてそれは移住先だ」ということは誤りだ"が導かれる
2. 事実2から、推論2: "この瓦解は生き直す"が導かれる
3. 推論1と推論2から、推論3: "「この瓦解は漏れ易くないが移住先である」ということは本当でない"が導かれる
4. 推論3と事実4から、推論4: "この壬生梛は奥深くない"が導かれる
5. 推論4と事実12から、推論5: "この各家族は生まれ易いかそれは奥深いかまたは両方だ"が導かれる
6. 推論5と事実20と事実15から、仮説が導かれる

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