この最大効果は破瓜するとしたら「その参入規制は稽古しないがそれは丸型である」ということは成り立たない
fact1: もしもその協和会は分かり辛いとしたら「その参入規制は稽古するしそれは丸型だ」ということは成り立たない fact2: その協和会が分かり辛いとすればその参入規制は稽古するということはないけれどそれは丸型である fact3: その参入規制は破瓜する fact4: その参入規制は稽古しないけれど丸型だ fact5: 仮にこの最大効果は破瓜するなら「「その参入規制は稽古するしまた丸型だ」ということは正しい」ということは誤りである fact6: 「その参入規制は稽古するし丸型である」ということは偽である fact7: 仮にこの最大効果が破瓜すればその参入規制は稽古しないけどそれは丸型だ fact8: もしその参入規制は稽古すれば「この最大効果は破瓜しない一方で分かり辛い」ということは誤りである fact9: その協和会は丸型である fact10: もしこの最大効果が破瓜するとすればその協和会は分かり辛い fact11: もしその協和会は分かり辛いとすると「その参入規制は稽古しないけど丸型だ」ということは成り立たない fact12: 「この四十日抗争は破瓜する」ということは本当だ fact13: 「この最大効果は破瓜するということはない一方で排撃する」ということは間違っている
void -> assump1: 以下のように仮定する。「この最大効果は破瓜する」ということは成り立つ; fact10 & assump1 -> int1: その協和会は分かり辛い; int1 & fact11 -> int2: 「その参入規制は稽古しないが丸型である」ということは成り立たない; [assump1] & int2 -> hypothesis;
$facts$ = fact1: もしもその協和会は分かり辛いとしたら「その参入規制は稽古するしそれは丸型だ」ということは成り立たない fact2: その協和会が分かり辛いとすればその参入規制は稽古するということはないけれどそれは丸型である fact3: その参入規制は破瓜する fact4: その参入規制は稽古しないけれど丸型だ fact5: 仮にこの最大効果は破瓜するなら「「その参入規制は稽古するしまた丸型だ」ということは正しい」ということは誤りである fact6: 「その参入規制は稽古するし丸型である」ということは偽である fact7: 仮にこの最大効果が破瓜すればその参入規制は稽古しないけどそれは丸型だ fact8: もしその参入規制は稽古すれば「この最大効果は破瓜しない一方で分かり辛い」ということは誤りである fact9: その協和会は丸型である fact10: もしこの最大効果が破瓜するとすればその協和会は分かり辛い fact11: もしその協和会は分かり辛いとすると「その参入規制は稽古しないけど丸型だ」ということは成り立たない fact12: 「この四十日抗争は破瓜する」ということは本当だ fact13: 「この最大効果は破瓜するということはない一方で排撃する」ということは間違っている ; $hypothesis$ = この最大効果は破瓜するとしたら「その参入規制は稽古しないがそれは丸型である」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この最大効果は破瓜する」ということは成り立つ; fact10 & assump1 -> int1: その協和会は分かり辛い; int1 & fact11 -> int2: 「その参入規制は稽古しないが丸型である」ということは成り立たない; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もしもその協和会は分かり辛いとしたら「その参入規制は稽古するしそれは丸型だ」ということは成り立たない
事実2: その協和会が分かり辛いとすればその参入規制は稽古するということはないけれどそれは丸型である
事実3: その参入規制は破瓜する
事実4: その参入規制は稽古しないけれど丸型だ
事実5: 仮にこの最大効果は破瓜するなら「「その参入規制は稽古するしまた丸型だ」ということは正しい」ということは誤りである
事実6: 「その参入規制は稽古するし丸型である」ということは偽である
事実7: 仮にこの最大効果が破瓜すればその参入規制は稽古しないけどそれは丸型だ
事実8: もしその参入規制は稽古すれば「この最大効果は破瓜しない一方で分かり辛い」ということは誤りである
事実9: その協和会は丸型である
事実10: もしこの最大効果が破瓜するとすればその協和会は分かり辛い
事実11: もしその協和会は分かり辛いとすると「その参入規制は稽古しないけど丸型だ」ということは成り立たない
事実12: 「この四十日抗争は破瓜する」ということは本当だ
事実13: 「この最大効果は破瓜するということはない一方で排撃する」ということは間違っている

仮説: この最大効果は破瓜するとしたら「その参入規制は稽古しないがそれは丸型である」ということは成り立たない
1. 仮定1: 以下のように仮定する。「この最大効果は破瓜する」ということは成り立つ
2. 事実10と仮定1から、推論1: "その協和会は分かり辛い"が導かれる
3. 推論1と事実11から、推論2: "「その参入規制は稽古しないが丸型である」ということは成り立たない"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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