この培養は訴求する
fact1: もしもこのＸＹ社は懐かしとしたら「その貯蓄率は仕方無い」ということは成り立つ fact2: もし何らかのものは休離しないとしたら「患難だということはなくてしかもそれは光達だ」ということは成り立たない fact3: もし「教育要求でない」ものがあるとしたらあの民主共和国は休離しない fact4: もし仮にこのＸＹ社は懐かしとすれば「その貯蓄率は仕方無くないかあるいは相談し易いかあるいは両方ともである」ということは間違いだ fact5: その蜂蜜は改悪するかもしくは這い出ない fact6: 「その貯蓄率は仕方無い」ということは成り立つ fact7: もし仮に「その貯蓄率は仕方無くないかあるいは相談し易いかもしくは両方だ」ということは事実と異なるならあの民主共和国は動き易い fact8: 仮にある物は骨梁であるということはないとすれば「その貯蓄率は付け難いしそれに動き易い」ということは誤っている fact9: もしも何かは付け難くないし骨梁だということはないとすればこの培養は訴求する fact10: 仮にその蜂蜜は改悪するかまたは這い出るということはないかどちらもならば教育要求でない fact11: なにがしかのものは痛ーくない fact12: もし「なにかは動き易くて加えて痛ーい」ということは成り立たないとしたら「動き易くない」ということは成り立つ fact13: もしもこのＸＹ社が懐かしないなら付け難くない fact14: 「「付け難いししかも動き易い」ということは間違いである」物があればこのＸＹ社は動き易くない fact15: 仮になんらかのものは動き易くないとすると「訴求するしかつ懐かし」ということは事実と異なる fact16: もしある物が痛ーくないとすると骨梁でない fact17: もしなんらかのものが統一するなら骨梁でない fact18: 「懐かしということはないものは付け難くないし骨梁だということはない」ということは成り立つ fact19: 「「痛ーいということはない」物はあれば「あの民主共和国は動き易いし痛ーい」ということは成り立たない」ということは成り立つ fact20: 仮に「あの民主共和国は患難でないが光達だ」ということは本当だということはないとすれば気持ち良くない fact21: 懐かしない物は付け難くない fact22: 気持ち良いということはないものは統一するか痛ーくない fact23: 「付け難いけど骨梁でない」物はある
void -> assump1: 以下のように仮定する。このＸＹ社は懐かし; fact4 & assump1 -> int1: 「その貯蓄率は仕方無くないかあるいはそれは相談し易いかまたは両方である」ということは確かでない; int1 & fact7 -> int2: あの民主共和国は動き易い; fact11 & fact19 -> int3: 「あの民主共和国は動き易くて加えて痛ーい」ということは事実と異なる; fact12 -> int4: もしも「あの民主共和国が動き易いしその上痛ーい」ということは事実と異なればそれは動き易くない; int3 & int4 -> int5: あの民主共和国は動き易くない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「このＸＹ社は懐かしない」ということは確かである; fact18 -> int8: このＸＹ社が懐かしないならばそれは付け難くなくてその上骨梁でない; int7 & int8 -> int9: このＸＹ社は付け難くなくておまけに骨梁でない; int9 -> int10: 何かは付け難くないしまた骨梁でない; int10 & fact9 -> hypothesis;
この培養は訴求するということはない
fact34 -> int11: もしもこのＸＹ社は動き易いということはないとすると「訴求するし加えてそれは懐かし」ということは誤っている; fact33 -> int12: もし仮に「あの民主共和国は気持ち良くない」ということは真実であるとしたら統一するか痛ーいということはない; fact31 -> int13: もしもあの民主共和国は休離するということはないとすると「それは患難でなくて光達だ」ということは成り立たない; fact29 & fact26 -> int14: その蜂蜜は教育要求でない; int14 -> int15: 「なにがしかのものは教育要求でない」ということは成り立つ; int15 & fact25 -> int16: あの民主共和国は休離しない; int13 & int16 -> int17: 「あの民主共和国は患難でないけど光達だ」ということは偽である; fact24 & int17 -> int18: あの民主共和国は気持ち良くない; int12 & int18 -> int19: 「あの民主共和国は統一するかあるいは痛ーくないかもしくは両方ともだ」ということは事実だ; fact32 -> int20: もしあの民主共和国が統一するとするとそれは骨梁でない; fact28 -> int21: もし仮にあの民主共和国が痛ーくないとすれば骨梁だということはない; int19 & int20 & int21 -> int22: あの民主共和国は骨梁でない; int22 -> int23: なにかは骨梁であるということはない; int23 & fact30 -> int24: 「その貯蓄率は付け難くてまた動き易い」ということは事実と異なる; int24 -> int25: 「「付け難いものであって動き易い」ということは間違いである」ものはある; int25 & fact27 -> int26: 「このＸＹ社は動き易くない」ということは事実である; int11 & int26 -> int27: 「「このＸＹ社は訴求するし加えて懐かし」ということは成り立たない」ということは成り立つ; int27 -> int28: 「「訴求するしさらに懐かし」ということは偽な」物はある;
$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$ = 
void -> assump1: 以下のように仮定する。このＸＹ社は懐かし; fact4 & assump1 -> int1: 「その貯蓄率は仕方無くないかあるいはそれは相談し易いかまたは両方である」ということは確かでない; int1 & fact7 -> int2: あの民主共和国は動き易い; fact11 & fact19 -> int3: 「あの民主共和国は動き易くて加えて痛ーい」ということは事実と異なる; fact12 -> int4: もしも「あの民主共和国が動き易いしその上痛ーい」ということは事実と異なればそれは動き易くない; int3 & int4 -> int5: あの民主共和国は動き易くない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「このＸＹ社は懐かしない」ということは確かである; fact18 -> int8: このＸＹ社が懐かしないならばそれは付け難くなくてその上骨梁でない; int7 & int8 -> int9: このＸＹ社は付け難くなくておまけに骨梁でない; int9 -> int10: 何かは付け難くないしまた骨梁でない; int10 & fact9 -> 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: 「付け難いけど骨梁でない」物はある

仮説: この培養は訴求する
1. 仮定1: 以下のように仮定する。このＸＹ社は懐かし
2. 事実4と仮定1から、推論1: "「その貯蓄率は仕方無くないかあるいはそれは相談し易いかまたは両方である」ということは確かでない"が導かれる
3. 推論1と事実7から、推論2: "あの民主共和国は動き易い"が導かれる
4. 事実11と事実19から、推論3: "「あの民主共和国は動き易くて加えて痛ーい」ということは事実と異なる"が導かれる
5. 事実12から、推論4: "もしも「あの民主共和国が動き易いしその上痛ーい」ということは事実と異なればそれは動き易くない"が導かれる
6. 推論3と推論4から、推論5: "あの民主共和国は動き易くない"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "「このＸＹ社は懐かしない」ということは確かである"が導かれる
9. 事実18から、推論8: "このＸＹ社が懐かしないならばそれは付け難くなくてその上骨梁でない"が導かれる
10. 推論7と推論8から、推論9: "このＸＹ社は付け難くなくておまけに骨梁でない"が導かれる
11. 推論9から、推論10: "何かは付け難くないしまた骨梁でない"が導かれる
12. 推論10と事実9から、仮説が導かれる

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