もしその二十六位が標準規格であるならあの国・郡は刮げる
fact1: その二十六位は易しい fact2: もしその二十六位が標準規格であるしさらに易しいならばあの国・郡は問題視しない fact3: 仮になにがしかのものは問題視しないなら「それはへたらないけど開始する」ということは偽である fact4: 仮に「何かはへたらないがしかし開始する」ということは嘘であるとすると刮げる fact5: もしも「あの国・郡はへたる」ということは事実だとすると刮げる
void -> assump1: 以下のように仮定する。その二十六位は標準規格だ; assump1 & fact1 -> int1: その二十六位は標準規格でまた易しい; int1 & fact2 -> int2: あの国・郡は問題視するということはない; fact3 -> int3: あの国・郡は問題視しないとすると「へたらなくてしかも開始する」ということは成り立たない; int2 & int3 -> int4: 「あの国・郡はへたらないがそれは開始する」ということは確かでない; fact4 -> int5: もしも「あの国・郡はへたらないけど開始する」ということは成り立たないとすればそれは刮げる; int4 & int5 -> int6: あの国・郡は刮げる; [assump1] & int6 -> hypothesis;
$facts$ = fact1: その二十六位は易しい fact2: もしその二十六位が標準規格であるしさらに易しいならばあの国・郡は問題視しない fact3: 仮になにがしかのものは問題視しないなら「それはへたらないけど開始する」ということは偽である fact4: 仮に「何かはへたらないがしかし開始する」ということは嘘であるとすると刮げる fact5: もしも「あの国・郡はへたる」ということは事実だとすると刮げる ; $hypothesis$ = もしその二十六位が標準規格であるならあの国・郡は刮げる ; $proof$ = 
void -> assump1: 以下のように仮定する。その二十六位は標準規格だ; assump1 & fact1 -> int1: その二十六位は標準規格でまた易しい; int1 & fact2 -> int2: あの国・郡は問題視するということはない; fact3 -> int3: あの国・郡は問題視しないとすると「へたらなくてしかも開始する」ということは成り立たない; int2 & int3 -> int4: 「あの国・郡はへたらないがそれは開始する」ということは確かでない; fact4 -> int5: もしも「あの国・郡はへたらないけど開始する」ということは成り立たないとすればそれは刮げる; int4 & int5 -> int6: あの国・郡は刮げる; [assump1] & int6 -> hypothesis; __PROVED__
事実1: その二十六位は易しい
事実2: もしその二十六位が標準規格であるしさらに易しいならばあの国・郡は問題視しない
事実3: 仮になにがしかのものは問題視しないなら「それはへたらないけど開始する」ということは偽である
事実4: 仮に「何かはへたらないがしかし開始する」ということは嘘であるとすると刮げる
事実5: もしも「あの国・郡はへたる」ということは事実だとすると刮げる

仮説: もしその二十六位が標準規格であるならあの国・郡は刮げる
1. 仮定1: 以下のように仮定する。その二十六位は標準規格だ
2. 仮定1と事実1から、推論1: "その二十六位は標準規格でまた易しい"が導かれる
3. 推論1と事実2から、推論2: "あの国・郡は問題視するということはない"が導かれる
4. 事実3から、推論3: "あの国・郡は問題視しないとすると「へたらなくてしかも開始する」ということは成り立たない"が導かれる
5. 推論2と推論3から、推論4: "「あの国・郡はへたらないがそれは開始する」ということは確かでない"が導かれる
6. 事実4から、推論5: "もしも「あの国・郡はへたらないけど開始する」ということは成り立たないとすればそれは刮げる"が導かれる
7. 推論4と推論5から、推論6: "あの国・郡は刮げる"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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