その最小は纏まり易い
fact1: 「その最小は書ける」ということは成り立つ fact2: 犯し難くない物は書けるかまたは対策しないかあるいはどちらもである fact3: この舗装は貸与しないけれど神聖砂である fact4: もしも「その最小は指導するけどそれは調和し難くない」ということは成り立たないならその十三文字は対策しない fact5: もし仮にその世尊が八つ当たりしないとしたらこの周辺組織は早し fact6: ある物が貸与しないけど神聖砂であるならその世尊は八つ当たりしない fact7: もしその十三文字は早しとしたら「書けないがしかし犯し難い」ということは間違いである fact8: 「その十三文字は早し」ということは成り立つとすれば「書けるし更に犯し難い」ということは偽である fact9: その十三文字は早し fact10: もしも「その十三文字は書けないけど犯し難い」ということは嘘であるとしたらそれは対策する fact11: 「その最小は指導するし更に調和し難い」ということは誤りである fact12: 仮にその最小は纏まり易くないとすれば「指導するがしかし調和し難くない」ということは誤りである
void -> assump1: 以下のように仮定する。「その最小は纏まり易くない」ということは正しい; fact12 & assump1 -> int1: 「その最小は指導するがそれは調和し難くない」ということは成り立たない; int1 & fact4 -> int2: その十三文字は対策しない; fact7 & fact9 -> int3: 「その十三文字は書けないけど犯し難い」ということは成り立たない; int3 & fact10 -> int4: その十三文字は対策する; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
その最小は纏まり易くない
fact14 -> int6: もし仮にその十三文字が犯し難くないとすれば書けるかまたはそれは対策しない; fact13 -> int7: とあるものは貸与しないが神聖砂である; int7 & fact15 -> int8: その世尊は八つ当たりするということはない; fact16 & int8 -> int9: この周辺組織は早し; int9 -> int10: 早し物はある;
$facts$ = fact1: 「その最小は書ける」ということは成り立つ fact2: 犯し難くない物は書けるかまたは対策しないかあるいはどちらもである fact3: この舗装は貸与しないけれど神聖砂である fact4: もしも「その最小は指導するけどそれは調和し難くない」ということは成り立たないならその十三文字は対策しない fact5: もし仮にその世尊が八つ当たりしないとしたらこの周辺組織は早し fact6: ある物が貸与しないけど神聖砂であるならその世尊は八つ当たりしない fact7: もしその十三文字は早しとしたら「書けないがしかし犯し難い」ということは間違いである fact8: 「その十三文字は早し」ということは成り立つとすれば「書けるし更に犯し難い」ということは偽である fact9: その十三文字は早し fact10: もしも「その十三文字は書けないけど犯し難い」ということは嘘であるとしたらそれは対策する fact11: 「その最小は指導するし更に調和し難い」ということは誤りである fact12: 仮にその最小は纏まり易くないとすれば「指導するがしかし調和し難くない」ということは誤りである ; $hypothesis$ = その最小は纏まり易い ; $proof$ = 
void -> assump1: 以下のように仮定する。「その最小は纏まり易くない」ということは正しい; fact12 & assump1 -> int1: 「その最小は指導するがそれは調和し難くない」ということは成り立たない; int1 & fact4 -> int2: その十三文字は対策しない; fact7 & fact9 -> int3: 「その十三文字は書けないけど犯し難い」ということは成り立たない; int3 & fact10 -> int4: その十三文字は対策する; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __PROVED__
事実1: 「その最小は書ける」ということは成り立つ
事実2: 犯し難くない物は書けるかまたは対策しないかあるいはどちらもである
事実3: この舗装は貸与しないけれど神聖砂である
事実4: もしも「その最小は指導するけどそれは調和し難くない」ということは成り立たないならその十三文字は対策しない
事実5: もし仮にその世尊が八つ当たりしないとしたらこの周辺組織は早し
事実6: ある物が貸与しないけど神聖砂であるならその世尊は八つ当たりしない
事実7: もしその十三文字は早しとしたら「書けないがしかし犯し難い」ということは間違いである
事実8: 「その十三文字は早し」ということは成り立つとすれば「書けるし更に犯し難い」ということは偽である
事実9: その十三文字は早し
事実10: もしも「その十三文字は書けないけど犯し難い」ということは嘘であるとしたらそれは対策する
事実11: 「その最小は指導するし更に調和し難い」ということは誤りである
事実12: 仮にその最小は纏まり易くないとすれば「指導するがしかし調和し難くない」ということは誤りである

仮説: その最小は纏まり易い
1. 仮定1: 以下のように仮定する。「その最小は纏まり易くない」ということは正しい
2. 事実12と仮定1から、推論1: "「その最小は指導するがそれは調和し難くない」ということは成り立たない"が導かれる
3. 推論1と事実4から、推論2: "その十三文字は対策しない"が導かれる
4. 事実7と事実9から、推論3: "「その十三文字は書けないけど犯し難い」ということは成り立たない"が導かれる
5. 推論3と事実10から、推論4: "その十三文字は対策する"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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