「あの山川草木は取れ易いし狡っ辛い」ということは成り立つ
fact1: 仮に「あの子宮癌は守り易い」ということは確かであるとするとその土地面積は擬装だということはない fact2: もしもその土地面積が守り易くないとするとあの山川草木は取れ易いし狡っ辛い fact3: もし「「あの子宮癌は打ち上がり易いがしかし取り扱い易くない」ということは成り立つ」ということは事実と異なるとすればそれは背馳する fact4: 「もしなにがしかのものが守り易くないなら探究する」ということは成り立つ fact5: 「あの子宮癌は取り扱い易いし心苦しい」ということは偽である fact6: 仮に「あの先走り液は探究する一方でそれは心苦しくない」ということは成り立たないとすればあの土地面積は守り易くない fact7: あの子宮癌は背馳しない fact8: もし仮にあの子宮癌は擬装でないとしたら「あの先走り液は探究する一方でそれは心苦しいということはない」ということは間違いである fact9: 仮にあるものは擬装でないとすれば「取れ易くてかつ狡っ辛い」ということは事実と異なる fact10: もしもあの子宮癌が打ち上がり易いが取り扱い易くないとしたら擬装でない fact11: もし仮に「なんらかのものは背馳しないか心苦しくないかあるいはどちらもだ」ということは成り立つということはないとすればそれは擬装でない
void -> assump1: 以下のように仮定する。「あの子宮癌は打ち上がり易い一方でそれは取り扱い易くない」ということは事実と異なる; fact3 & assump1 -> int1: あの子宮癌は背馳する; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの子宮癌は打ち上がり易い一方でそれは取り扱い易くない; int3 & fact10 -> int4: あの子宮癌は擬装だということはない; int4 & fact8 -> int5: 「あの先走り液は探究するけど心苦しくない」ということは成り立たない; int5 & fact6 -> int6: その土地面積は守り易いということはない; int6 & fact2 -> hypothesis;
「あの山川草木は取れ易いしさらに狡っ辛い」ということは間違いだ
fact14 -> int7: 仮にあの山川草木は擬装でないとしたら「取れ易くて更に狡っ辛い」ということは成り立つということはない; fact12 -> int8: もし仮に「あの山川草木は背馳しないかまたはそれは心苦しくないかあるいはどちらもだ」ということは誤っているとすればそれは擬装でない; fact13 -> int9: もしもあの山川草木が守り易くないとするとそれは探究する;
$facts$ = fact1: 仮に「あの子宮癌は守り易い」ということは確かであるとするとその土地面積は擬装だということはない fact2: もしもその土地面積が守り易くないとするとあの山川草木は取れ易いし狡っ辛い fact3: もし「「あの子宮癌は打ち上がり易いがしかし取り扱い易くない」ということは成り立つ」ということは事実と異なるとすればそれは背馳する fact4: 「もしなにがしかのものが守り易くないなら探究する」ということは成り立つ fact5: 「あの子宮癌は取り扱い易いし心苦しい」ということは偽である fact6: 仮に「あの先走り液は探究する一方でそれは心苦しくない」ということは成り立たないとすればあの土地面積は守り易くない fact7: あの子宮癌は背馳しない fact8: もし仮にあの子宮癌は擬装でないとしたら「あの先走り液は探究する一方でそれは心苦しいということはない」ということは間違いである fact9: 仮にあるものは擬装でないとすれば「取れ易くてかつ狡っ辛い」ということは事実と異なる fact10: もしもあの子宮癌が打ち上がり易いが取り扱い易くないとしたら擬装でない fact11: もし仮に「なんらかのものは背馳しないか心苦しくないかあるいはどちらもだ」ということは成り立つということはないとすればそれは擬装でない ; $hypothesis$ = 「あの山川草木は取れ易いし狡っ辛い」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの子宮癌は打ち上がり易い一方でそれは取り扱い易くない」ということは事実と異なる; fact3 & assump1 -> int1: あの子宮癌は背馳する; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの子宮癌は打ち上がり易い一方でそれは取り扱い易くない; int3 & fact10 -> int4: あの子宮癌は擬装だということはない; int4 & fact8 -> int5: 「あの先走り液は探究するけど心苦しくない」ということは成り立たない; int5 & fact6 -> int6: その土地面積は守り易いということはない; int6 & fact2 -> hypothesis; __PROVED__
事実1: 仮に「あの子宮癌は守り易い」ということは確かであるとするとその土地面積は擬装だということはない
事実2: もしもその土地面積が守り易くないとするとあの山川草木は取れ易いし狡っ辛い
事実3: もし「「あの子宮癌は打ち上がり易いがしかし取り扱い易くない」ということは成り立つ」ということは事実と異なるとすればそれは背馳する
事実4: 「もしなにがしかのものが守り易くないなら探究する」ということは成り立つ
事実5: 「あの子宮癌は取り扱い易いし心苦しい」ということは偽である
事実6: 仮に「あの先走り液は探究する一方でそれは心苦しくない」ということは成り立たないとすればあの土地面積は守り易くない
事実7: あの子宮癌は背馳しない
事実8: もし仮にあの子宮癌は擬装でないとしたら「あの先走り液は探究する一方でそれは心苦しいということはない」ということは間違いである
事実9: 仮にあるものは擬装でないとすれば「取れ易くてかつ狡っ辛い」ということは事実と異なる
事実10: もしもあの子宮癌が打ち上がり易いが取り扱い易くないとしたら擬装でない
事実11: もし仮に「なんらかのものは背馳しないか心苦しくないかあるいはどちらもだ」ということは成り立つということはないとすればそれは擬装でない

仮説: 「あの山川草木は取れ易いし狡っ辛い」ということは成り立つ
1. 仮定1: 以下のように仮定する。「あの子宮癌は打ち上がり易い一方でそれは取り扱い易くない」ということは事実と異なる
2. 事実3と仮定1から、推論1: "あの子宮癌は背馳する"が導かれる
3. 推論1と事実7から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "あの子宮癌は打ち上がり易い一方でそれは取り扱い易くない"が導かれる
5. 推論3と事実10から、推論4: "あの子宮癌は擬装だということはない"が導かれる
6. 推論4と事実8から、推論5: "「あの先走り液は探究するけど心苦しくない」ということは成り立たない"が導かれる
7. 推論5と事実6から、推論6: "その土地面積は守り易いということはない"が導かれる
8. 推論6と事実2から、仮説が導かれる

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