この御情けが恥辱だということはないとするとその本最大判は満席でその上小休止である
fact1: この副将は継続し難くないけど恥辱だ fact2: その本最大判は交付する fact3: もし仮にこの御情けが継続し難くないとしたらこの副将は敢え無くないけど恥辱だ fact4: もしもこの副将は継続し難くて交付すれば「その本最大判は満席である」ということは真実だ fact5: 仮にこの御情けが恥辱でないとすればこの副将は継続し難くない fact6: この御情けは恥辱でない一方でそれは継続し難い fact7: 「その本最大判は敢え無い」ということは本当である fact8: なにかは小休止でないとするとそれは障害する fact9: 仮に「その本最大判は敢え無い」ということは確かであるとすればそれは小休止だ fact10: その本最大判は法家でない fact11: この御情けは敢え無い fact12: もし仮にこの副将が継続し難くないけれど交付するとすればその本最大判は満席だ fact13: もしこの御情けが恥辱でないとするとこの副将は継続し難くないがしかし交付する
void -> assump1: 以下のように仮定する。この御情けは恥辱でない; fact13 & assump1 -> int1: この副将は継続し難くないけど交付する; int1 & fact12 -> int2: その本最大判は満席である; fact7 & fact9 -> int3: その本最大判は小休止である; int2 & int3 -> int4: その本最大判は満席であるしかつ小休止である; [assump1] & int4 -> hypothesis;
この納税者側は障害するしまたブルジョワ革命である
fact14 -> int5: もし仮にこの納税者側は小休止でないとすると障害する;
$facts$ = fact1: この副将は継続し難くないけど恥辱だ fact2: その本最大判は交付する fact3: もし仮にこの御情けが継続し難くないとしたらこの副将は敢え無くないけど恥辱だ fact4: もしもこの副将は継続し難くて交付すれば「その本最大判は満席である」ということは真実だ fact5: 仮にこの御情けが恥辱でないとすればこの副将は継続し難くない fact6: この御情けは恥辱でない一方でそれは継続し難い fact7: 「その本最大判は敢え無い」ということは本当である fact8: なにかは小休止でないとするとそれは障害する fact9: 仮に「その本最大判は敢え無い」ということは確かであるとすればそれは小休止だ fact10: その本最大判は法家でない fact11: この御情けは敢え無い fact12: もし仮にこの副将が継続し難くないけれど交付するとすればその本最大判は満席だ fact13: もしこの御情けが恥辱でないとするとこの副将は継続し難くないがしかし交付する ; $hypothesis$ = この御情けが恥辱だということはないとするとその本最大判は満席でその上小休止である ; $proof$ = 
void -> assump1: 以下のように仮定する。この御情けは恥辱でない; fact13 & assump1 -> int1: この副将は継続し難くないけど交付する; int1 & fact12 -> int2: その本最大判は満席である; fact7 & fact9 -> int3: その本最大判は小休止である; int2 & int3 -> int4: その本最大判は満席であるしかつ小休止である; [assump1] & int4 -> hypothesis; __PROVED__
事実1: この副将は継続し難くないけど恥辱だ
事実2: その本最大判は交付する
事実3: もし仮にこの御情けが継続し難くないとしたらこの副将は敢え無くないけど恥辱だ
事実4: もしもこの副将は継続し難くて交付すれば「その本最大判は満席である」ということは真実だ
事実5: 仮にこの御情けが恥辱でないとすればこの副将は継続し難くない
事実6: この御情けは恥辱でない一方でそれは継続し難い
事実7: 「その本最大判は敢え無い」ということは本当である
事実8: なにかは小休止でないとするとそれは障害する
事実9: 仮に「その本最大判は敢え無い」ということは確かであるとすればそれは小休止だ
事実10: その本最大判は法家でない
事実11: この御情けは敢え無い
事実12: もし仮にこの副将が継続し難くないけれど交付するとすればその本最大判は満席だ
事実13: もしこの御情けが恥辱でないとするとこの副将は継続し難くないがしかし交付する

仮説: この御情けが恥辱だということはないとするとその本最大判は満席でその上小休止である
1. 仮定1: 以下のように仮定する。この御情けは恥辱でない
2. 事実13と仮定1から、推論1: "この副将は継続し難くないけど交付する"が導かれる
3. 推論1と事実12から、推論2: "その本最大判は満席である"が導かれる
4. 事実7と事実9から、推論3: "その本最大判は小休止である"が導かれる
5. 推論2と推論3から、推論4: "その本最大判は満席であるしかつ小休止である"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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