もし仮にこの第一子が人らしいということはないけど商業印刷だとするとその砲口は中央集権化しない
fact1: この第一子は人らしくない fact2: その砲口は中央集権化するとすると「この第一子は人らしくないがしかし商業印刷だ」ということは成り立つということはない fact3: その骨品制度は人らしい fact4: この第一子は商業印刷である fact5: 「あの本事譚は中央集権化しない」ということは事実だとしたら「それは断り切れないけれど甲高い」ということは間違っている fact6: もしとある物が答え難くないか中央集権化しないかもしくは両方ともであるならば中央集権化しない fact7: もしもその砲口は中央集権化すれば「この第一子は人らしいしそれは商業印刷だ」ということは偽だ fact8: もしもその砲口が中央集権化するとしたらこの第一子は人らしくないがしかし商業印刷だ fact9: 仮にその砲口が商業印刷でないけれどそれが中央集権化するとするとこの第一子は人らしくない fact10: 「この第一子は人らしいしさらに商業印刷だ」ということは間違いだ fact11: もしもこの第一子が人らしいしかつ商業印刷ならその砲口は中央集権化しない
void -> assump2: 以下のように仮定する。その砲口は中央集権化する; fact2 & assump2 -> int1: 「この第一子は人らしくないがしかし商業印刷だ」ということは真実であるということはない; void -> assump1: 以下のように仮定する。この第一子は人らしくないけれどそれは商業印刷だ; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「その砲口は中央集権化しない」ということは成り立つ; [assump1] & int3 -> hypothesis;
「あの本事譚は断り切れないがしかし甲高い」ということは偽である
fact13 -> int4: もしあの本事譚が答え難くないかそれは中央集権化しないかもしくはどちらもだとすると中央集権化しない;
$facts$ = fact1: この第一子は人らしくない fact2: その砲口は中央集権化するとすると「この第一子は人らしくないがしかし商業印刷だ」ということは成り立つということはない fact3: その骨品制度は人らしい fact4: この第一子は商業印刷である fact5: 「あの本事譚は中央集権化しない」ということは事実だとしたら「それは断り切れないけれど甲高い」ということは間違っている fact6: もしとある物が答え難くないか中央集権化しないかもしくは両方ともであるならば中央集権化しない fact7: もしもその砲口は中央集権化すれば「この第一子は人らしいしそれは商業印刷だ」ということは偽だ fact8: もしもその砲口が中央集権化するとしたらこの第一子は人らしくないがしかし商業印刷だ fact9: 仮にその砲口が商業印刷でないけれどそれが中央集権化するとするとこの第一子は人らしくない fact10: 「この第一子は人らしいしさらに商業印刷だ」ということは間違いだ fact11: もしもこの第一子が人らしいしかつ商業印刷ならその砲口は中央集権化しない ; $hypothesis$ = もし仮にこの第一子が人らしいということはないけど商業印刷だとするとその砲口は中央集権化しない ; $proof$ = 
void -> assump2: 以下のように仮定する。その砲口は中央集権化する; fact2 & assump2 -> int1: 「この第一子は人らしくないがしかし商業印刷だ」ということは真実であるということはない; void -> assump1: 以下のように仮定する。この第一子は人らしくないけれどそれは商業印刷だ; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「その砲口は中央集権化しない」ということは成り立つ; [assump1] & int3 -> hypothesis; __PROVED__
事実1: この第一子は人らしくない
事実2: その砲口は中央集権化するとすると「この第一子は人らしくないがしかし商業印刷だ」ということは成り立つということはない
事実3: その骨品制度は人らしい
事実4: この第一子は商業印刷である
事実5: 「あの本事譚は中央集権化しない」ということは事実だとしたら「それは断り切れないけれど甲高い」ということは間違っている
事実6: もしとある物が答え難くないか中央集権化しないかもしくは両方ともであるならば中央集権化しない
事実7: もしもその砲口は中央集権化すれば「この第一子は人らしいしそれは商業印刷だ」ということは偽だ
事実8: もしもその砲口が中央集権化するとしたらこの第一子は人らしくないがしかし商業印刷だ
事実9: 仮にその砲口が商業印刷でないけれどそれが中央集権化するとするとこの第一子は人らしくない
事実10: 「この第一子は人らしいしさらに商業印刷だ」ということは間違いだ
事実11: もしもこの第一子が人らしいしかつ商業印刷ならその砲口は中央集権化しない

仮説: もし仮にこの第一子が人らしいということはないけど商業印刷だとするとその砲口は中央集権化しない
1. 仮定2: 以下のように仮定する。その砲口は中央集権化する
2. 事実2と仮定2から、推論1: "「この第一子は人らしくないがしかし商業印刷だ」ということは真実であるということはない"が導かれる
3. 仮定1: 以下のように仮定する。この第一子は人らしくないけれどそれは商業印刷だ
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "「その砲口は中央集権化しない」ということは成り立つ"が導かれる
6. [仮定1]と推論3から、仮説が導かれる

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