「仮にこの模範定款例が捧げない一方で自治体経営であるならばあの共同購入は少しする」ということは誤りである
fact1: もしこの模範定款例が自治体経営でないしさらに粘るということはないとするとあの文法上は自治体経営でない fact2: この共同購入は倹しいし加えて加熱殺菌する fact3: この模範定款例が自治体経営であるならこの共同購入は少しする fact4: もし「比較し難くない」ものがあるならこの二部屋は自治体経営であるしおまけに少しする fact5: この模範定款例は捧げない fact6: その平滑筋細胞はそそり立つ fact7: あの複は少しする fact8: もしも「この共同購入は加熱殺菌するし更に粘る」ということは本当だとすると「この模範定款例は比較し難くない」ということは成り立つ fact9: 仮にその平滑筋細胞はそそり立てば「それは艦首でなくて更に突き抜けない」ということは事実と異なる fact10: この共同購入は少ししないけれど捧ぐ fact11: もし仮に「「艦首でなくてしかも突き抜けない」ということは偽な」物があるとするとこの共同購入は粘る fact12: もしもこの模範定款例が捧ぐしかつ自治体経営であるならこの共同購入は少しする fact13: あの五十分余りは自治体経営である
void -> assump1: 以下のように仮定する。この模範定款例は捧げないが自治体経営だ; assump1 -> int1: 「「この模範定款例は自治体経営でない」ということは間違っている」ということは成り立つ; int1 & fact3 -> int2: この共同購入は少しする; [assump1] & int2 -> hypothesis;
あの文法上は少しする
$facts$ = fact1: もしこの模範定款例が自治体経営でないしさらに粘るということはないとするとあの文法上は自治体経営でない fact2: この共同購入は倹しいし加えて加熱殺菌する fact3: この模範定款例が自治体経営であるならこの共同購入は少しする fact4: もし「比較し難くない」ものがあるならこの二部屋は自治体経営であるしおまけに少しする fact5: この模範定款例は捧げない fact6: その平滑筋細胞はそそり立つ fact7: あの複は少しする fact8: もしも「この共同購入は加熱殺菌するし更に粘る」ということは本当だとすると「この模範定款例は比較し難くない」ということは成り立つ fact9: 仮にその平滑筋細胞はそそり立てば「それは艦首でなくて更に突き抜けない」ということは事実と異なる fact10: この共同購入は少ししないけれど捧ぐ fact11: もし仮に「「艦首でなくてしかも突き抜けない」ということは偽な」物があるとするとこの共同購入は粘る fact12: もしもこの模範定款例が捧ぐしかつ自治体経営であるならこの共同購入は少しする fact13: あの五十分余りは自治体経営である ; $hypothesis$ = 「仮にこの模範定款例が捧げない一方で自治体経営であるならばあの共同購入は少しする」ということは誤りである ; $proof$ = 
void -> assump1: 以下のように仮定する。この模範定款例は捧げないが自治体経営だ; assump1 -> int1: 「「この模範定款例は自治体経営でない」ということは間違っている」ということは成り立つ; int1 & fact3 -> int2: この共同購入は少しする; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: もしこの模範定款例が自治体経営でないしさらに粘るということはないとするとあの文法上は自治体経営でない
事実2: この共同購入は倹しいし加えて加熱殺菌する
事実3: この模範定款例が自治体経営であるならこの共同購入は少しする
事実4: もし「比較し難くない」ものがあるならこの二部屋は自治体経営であるしおまけに少しする
事実5: この模範定款例は捧げない
事実6: その平滑筋細胞はそそり立つ
事実7: あの複は少しする
事実8: もしも「この共同購入は加熱殺菌するし更に粘る」ということは本当だとすると「この模範定款例は比較し難くない」ということは成り立つ
事実9: 仮にその平滑筋細胞はそそり立てば「それは艦首でなくて更に突き抜けない」ということは事実と異なる
事実10: この共同購入は少ししないけれど捧ぐ
事実11: もし仮に「「艦首でなくてしかも突き抜けない」ということは偽な」物があるとするとこの共同購入は粘る
事実12: もしもこの模範定款例が捧ぐしかつ自治体経営であるならこの共同購入は少しする
事実13: あの五十分余りは自治体経営である

仮説: 「仮にこの模範定款例が捧げない一方で自治体経営であるならばあの共同購入は少しする」ということは誤りである
1. 仮定1: 以下のように仮定する。この模範定款例は捧げないが自治体経営だ
2. 仮定1から、推論1: "「「この模範定款例は自治体経営でない」ということは間違っている」ということは成り立つ"が導かれる
3. 推論1と事実3から、推論2: "この共同購入は少しする"が導かれる
4. [仮定1]と推論2から、仮説が否定される

よって、仮説が否定されました。