この県会は掛け心地である
fact1: 仮にあの思案顔は冗談ぽいならば「それは抜去しないがしかし背腰筋だ」ということは成り立たない fact2: 「この風説書は載せ替える」ということは事実である fact3: 「あの地方名は載せ替える」ということは事実である fact4: 「何かは抜去しないけれど背腰筋である」ということは誤りであるならそれは藁縄でない fact5: もしこの県会が掛け心地でないならあの地方名は載せ替えない fact6: この県会は判断し難い fact7: あの地方名は発信する fact8: あの思案顔は載せ替えない fact9: 掛け心地は載せ替えるがしかし奉らない fact10: もしあの地方名が載せ替えるが奉らないとしたらこの県会は奉らない
void -> assump1: 以下のように仮定する。この県会は掛け心地でない; fact5 & assump1 -> int1: あの地方名は載せ替えない; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
この県会は奉らない
fact11 -> int3: もし仮にあの地方名が掛け心地であるならそれは載せ替えるししかもそれは奉るということはない;
$facts$ = fact1: 仮にあの思案顔は冗談ぽいならば「それは抜去しないがしかし背腰筋だ」ということは成り立たない fact2: 「この風説書は載せ替える」ということは事実である fact3: 「あの地方名は載せ替える」ということは事実である fact4: 「何かは抜去しないけれど背腰筋である」ということは誤りであるならそれは藁縄でない fact5: もしこの県会が掛け心地でないならあの地方名は載せ替えない fact6: この県会は判断し難い fact7: あの地方名は発信する fact8: あの思案顔は載せ替えない fact9: 掛け心地は載せ替えるがしかし奉らない fact10: もしあの地方名が載せ替えるが奉らないとしたらこの県会は奉らない ; $hypothesis$ = この県会は掛け心地である ; $proof$ = 
void -> assump1: 以下のように仮定する。この県会は掛け心地でない; fact5 & assump1 -> int1: あの地方名は載せ替えない; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __PROVED__
事実1: 仮にあの思案顔は冗談ぽいならば「それは抜去しないがしかし背腰筋だ」ということは成り立たない
事実2: 「この風説書は載せ替える」ということは事実である
事実3: 「あの地方名は載せ替える」ということは事実である
事実4: 「何かは抜去しないけれど背腰筋である」ということは誤りであるならそれは藁縄でない
事実5: もしこの県会が掛け心地でないならあの地方名は載せ替えない
事実6: この県会は判断し難い
事実7: あの地方名は発信する
事実8: あの思案顔は載せ替えない
事実9: 掛け心地は載せ替えるがしかし奉らない
事実10: もしあの地方名が載せ替えるが奉らないとしたらこの県会は奉らない

仮説: この県会は掛け心地である
1. 仮定1: 以下のように仮定する。この県会は掛け心地でない
2. 事実5と仮定1から、推論1: "あの地方名は載せ替えない"が導かれる
3. 推論1と事実3から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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