もしその卸売り価格は押し詰めないとすれば「このポット苗は直結しないし加えてそれは思わしいということはない」ということは成り立たない
fact1: もしこの日米株価倍率は直結しないとすると「このポット苗は直結する一方で思わしくない」ということは誤っている fact2: 仮に「あの華族内は乳脂率でなくて漏れ無くない」ということは事実と異なるとするとその卸売り価格は押し詰める fact3: もしもあの華族内は乳脂率だけれど漏れ無くないとしたら「この日米株価倍率は直結するということはない」ということは真実である fact4: 「仮にその卸売り価格は押し詰めないとすると「このポット苗は直結しない一方で思わしい」ということは成り立たない」ということは正しい fact5: もし仮にあの華族内が乳脂率でないがしかし漏れ無いとすればこの日米株価倍率は直結しない fact6: 「その卸売り価格は押し詰めれば「このポット苗は直結しないし更に思わしくない」ということは嘘だ」ということは正しい fact7: もしあの華族内が乳脂率でないしおまけに漏れ無くないとしたらこの日米株価倍率は直結しない fact8: この日米株価倍率が直結しないとしたらこのポット苗は直結するということはないしそれにそれは思わしくない fact9: 「このポット苗は直結するけど思わしくない」ということは間違いだ fact10: 「あの華族内は乳脂率だということはないけど漏れ無い」ということは間違いである fact11: 「その卸売り価格は押し詰めないとすれば「このポット苗は直結する一方で思わしいということはない」ということは成り立つということはない」ということは正しい fact12: もし仮にこの日米株価倍率は直結しないなら「このポット苗は直結しないけど思わしい」ということは間違っている fact13: 「このポット苗は直結しないけどそれは思わしい」ということは誤りである fact14: この日米株価倍率は直結するということはないとすれば「その卸売り価格は直結しないし加えて押し詰めるということはない」ということは本当でない fact15: 仮にその卸売り価格が押し詰めないならこのポット苗は直結しないししかもそれは思わしくない fact16: もしもこの日米株価倍率は直結しないとしたら「このポット苗は直結しなくて加えて思わしくない」ということは成り立たない fact17: 「あの華族内は乳脂率だが漏れ無くない」ということは成り立たない
void -> assump2: 以下のように仮定する。「あの華族内は乳脂率でないしそれは漏れ無いということはない」ということは事実でない; fact2 & assump2 -> int1: その卸売り価格は押し詰める; void -> assump1: 以下のように仮定する。その卸売り価格は押し詰めない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「あの華族内は乳脂率であるということはなくて更に漏れ無くない」ということは成り立つ; int3 & fact7 -> int4: 「この日米株価倍率は直結しない」ということは確かだ; int4 & fact16 -> int5: 「このポット苗は直結しないし思わしくない」ということは誤りである; [assump1] & int5 -> hypothesis;
$facts$ = fact1: もしこの日米株価倍率は直結しないとすると「このポット苗は直結する一方で思わしくない」ということは誤っている fact2: 仮に「あの華族内は乳脂率でなくて漏れ無くない」ということは事実と異なるとするとその卸売り価格は押し詰める fact3: もしもあの華族内は乳脂率だけれど漏れ無くないとしたら「この日米株価倍率は直結するということはない」ということは真実である fact4: 「仮にその卸売り価格は押し詰めないとすると「このポット苗は直結しない一方で思わしい」ということは成り立たない」ということは正しい fact5: もし仮にあの華族内が乳脂率でないがしかし漏れ無いとすればこの日米株価倍率は直結しない fact6: 「その卸売り価格は押し詰めれば「このポット苗は直結しないし更に思わしくない」ということは嘘だ」ということは正しい fact7: もしあの華族内が乳脂率でないしおまけに漏れ無くないとしたらこの日米株価倍率は直結しない fact8: この日米株価倍率が直結しないとしたらこのポット苗は直結するということはないしそれにそれは思わしくない fact9: 「このポット苗は直結するけど思わしくない」ということは間違いだ fact10: 「あの華族内は乳脂率だということはないけど漏れ無い」ということは間違いである fact11: 「その卸売り価格は押し詰めないとすれば「このポット苗は直結する一方で思わしいということはない」ということは成り立つということはない」ということは正しい fact12: もし仮にこの日米株価倍率は直結しないなら「このポット苗は直結しないけど思わしい」ということは間違っている fact13: 「このポット苗は直結しないけどそれは思わしい」ということは誤りである fact14: この日米株価倍率は直結するということはないとすれば「その卸売り価格は直結しないし加えて押し詰めるということはない」ということは本当でない fact15: 仮にその卸売り価格が押し詰めないならこのポット苗は直結しないししかもそれは思わしくない fact16: もしもこの日米株価倍率は直結しないとしたら「このポット苗は直結しなくて加えて思わしくない」ということは成り立たない fact17: 「あの華族内は乳脂率だが漏れ無くない」ということは成り立たない ; $hypothesis$ = もしその卸売り価格は押し詰めないとすれば「このポット苗は直結しないし加えてそれは思わしいということはない」ということは成り立たない ; $proof$ = 
void -> assump2: 以下のように仮定する。「あの華族内は乳脂率でないしそれは漏れ無いということはない」ということは事実でない; fact2 & assump2 -> int1: その卸売り価格は押し詰める; void -> assump1: 以下のように仮定する。その卸売り価格は押し詰めない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「あの華族内は乳脂率であるということはなくて更に漏れ無くない」ということは成り立つ; int3 & fact7 -> int4: 「この日米株価倍率は直結しない」ということは確かだ; int4 & fact16 -> int5: 「このポット苗は直結しないし思わしくない」ということは誤りである; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もしこの日米株価倍率は直結しないとすると「このポット苗は直結する一方で思わしくない」ということは誤っている
事実2: 仮に「あの華族内は乳脂率でなくて漏れ無くない」ということは事実と異なるとするとその卸売り価格は押し詰める
事実3: もしもあの華族内は乳脂率だけれど漏れ無くないとしたら「この日米株価倍率は直結するということはない」ということは真実である
事実4: 「仮にその卸売り価格は押し詰めないとすると「このポット苗は直結しない一方で思わしい」ということは成り立たない」ということは正しい
事実5: もし仮にあの華族内が乳脂率でないがしかし漏れ無いとすればこの日米株価倍率は直結しない
事実6: 「その卸売り価格は押し詰めれば「このポット苗は直結しないし更に思わしくない」ということは嘘だ」ということは正しい
事実7: もしあの華族内が乳脂率でないしおまけに漏れ無くないとしたらこの日米株価倍率は直結しない
事実8: この日米株価倍率が直結しないとしたらこのポット苗は直結するということはないしそれにそれは思わしくない
事実9: 「このポット苗は直結するけど思わしくない」ということは間違いだ
事実10: 「あの華族内は乳脂率だということはないけど漏れ無い」ということは間違いである
事実11: 「その卸売り価格は押し詰めないとすれば「このポット苗は直結する一方で思わしいということはない」ということは成り立つということはない」ということは正しい
事実12: もし仮にこの日米株価倍率は直結しないなら「このポット苗は直結しないけど思わしい」ということは間違っている
事実13: 「このポット苗は直結しないけどそれは思わしい」ということは誤りである
事実14: この日米株価倍率は直結するということはないとすれば「その卸売り価格は直結しないし加えて押し詰めるということはない」ということは本当でない
事実15: 仮にその卸売り価格が押し詰めないならこのポット苗は直結しないししかもそれは思わしくない
事実16: もしもこの日米株価倍率は直結しないとしたら「このポット苗は直結しなくて加えて思わしくない」ということは成り立たない
事実17: 「あの華族内は乳脂率だが漏れ無くない」ということは成り立たない

仮説: もしその卸売り価格は押し詰めないとすれば「このポット苗は直結しないし加えてそれは思わしいということはない」ということは成り立たない
1. 仮定2: 以下のように仮定する。「あの華族内は乳脂率でないしそれは漏れ無いということはない」ということは事実でない
2. 事実2と仮定2から、推論1: "その卸売り価格は押し詰める"が導かれる
3. 仮定1: 以下のように仮定する。その卸売り価格は押し詰めない
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "「あの華族内は乳脂率であるということはなくて更に漏れ無くない」ということは成り立つ"が導かれる
6. 推論3と事実7から、推論4: "「この日米株価倍率は直結しない」ということは確かだ"が導かれる
7. 推論4と事実16から、推論5: "「このポット苗は直結しないし思わしくない」ということは誤りである"が導かれる
8. [仮定1]と推論5から、仮説が導かれる

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