その平衡感覚はばれる
fact1: 「なんらかの物は純農村でないとすれば「それは敵司令官でないけれど成り得る」ということは成り立たない」ということは間違いでない fact2: もし「なにがしかのものは純農村であるが改宗するということはない」ということは間違いだとすれば純農村でない fact3: その社長秘書は敵司令官でない一方で成り得る fact4: もし仮にこの調停委員が成り得ればその社長秘書は黒字額でなくてそれに反映され易くない fact5: 「あの出土軒瓦は敵司令官だ」ということは事実であるとすれば「純農村であるが改宗しない」ということは成り立つということはない fact6: 「何らかのものは反映され易くないしその上扱い易いない」ということは嘘であるなら純農村でない fact7: その社長秘書が反映され易くないし扱い易くないならばあの調停委員は改宗しない fact8: もしもこの調停委員が改宗しないならその平衡感覚はばれる
fact6 -> int1: もし仮に「その社長秘書は反映され易くないしおまけにそれは扱い易くない」ということは成り立たないとすると純農村でない; void -> assump1: 以下のように仮定する。「その社長秘書は反映され易くないしかつ扱い易くない」ということは成り立たない; int1 & assump1 -> int2: その社長秘書は純農村でない; fact1 -> int3: 「仮に「その社長秘書は純農村でない」ということは成り立つとすると「その社長秘書は敵司令官でないが成り得る」ということは嘘だ」ということは事実だ; int2 & int3 -> int4: 「その社長秘書は敵司令官でないがしかし成り得る」ということは間違っている; int4 & fact3 -> int5: これは矛盾である; [assump1] & int5 -> int6: その社長秘書は反映され易くないしまた扱い易くない; int6 & fact7 -> int7: この調停委員は改宗しない; int7 & fact8 -> hypothesis;
その社長秘書は黒字額でなくて反映され易くない
$facts$ = fact1: 「なんらかの物は純農村でないとすれば「それは敵司令官でないけれど成り得る」ということは成り立たない」ということは間違いでない fact2: もし「なにがしかのものは純農村であるが改宗するということはない」ということは間違いだとすれば純農村でない fact3: その社長秘書は敵司令官でない一方で成り得る fact4: もし仮にこの調停委員が成り得ればその社長秘書は黒字額でなくてそれに反映され易くない fact5: 「あの出土軒瓦は敵司令官だ」ということは事実であるとすれば「純農村であるが改宗しない」ということは成り立つということはない fact6: 「何らかのものは反映され易くないしその上扱い易いない」ということは嘘であるなら純農村でない fact7: その社長秘書が反映され易くないし扱い易くないならばあの調停委員は改宗しない fact8: もしもこの調停委員が改宗しないならその平衡感覚はばれる ; $hypothesis$ = その平衡感覚はばれる ; $proof$ = 
fact6 -> int1: もし仮に「その社長秘書は反映され易くないしおまけにそれは扱い易くない」ということは成り立たないとすると純農村でない; void -> assump1: 以下のように仮定する。「その社長秘書は反映され易くないしかつ扱い易くない」ということは成り立たない; int1 & assump1 -> int2: その社長秘書は純農村でない; fact1 -> int3: 「仮に「その社長秘書は純農村でない」ということは成り立つとすると「その社長秘書は敵司令官でないが成り得る」ということは嘘だ」ということは事実だ; int2 & int3 -> int4: 「その社長秘書は敵司令官でないがしかし成り得る」ということは間違っている; int4 & fact3 -> int5: これは矛盾である; [assump1] & int5 -> int6: その社長秘書は反映され易くないしまた扱い易くない; int6 & fact7 -> int7: この調停委員は改宗しない; int7 & fact8 -> hypothesis; __PROVED__
事実1: 「なんらかの物は純農村でないとすれば「それは敵司令官でないけれど成り得る」ということは成り立たない」ということは間違いでない
事実2: もし「なにがしかのものは純農村であるが改宗するということはない」ということは間違いだとすれば純農村でない
事実3: その社長秘書は敵司令官でない一方で成り得る
事実4: もし仮にこの調停委員が成り得ればその社長秘書は黒字額でなくてそれに反映され易くない
事実5: 「あの出土軒瓦は敵司令官だ」ということは事実であるとすれば「純農村であるが改宗しない」ということは成り立つということはない
事実6: 「何らかのものは反映され易くないしその上扱い易いない」ということは嘘であるなら純農村でない
事実7: その社長秘書が反映され易くないし扱い易くないならばあの調停委員は改宗しない
事実8: もしもこの調停委員が改宗しないならその平衡感覚はばれる

仮説: その平衡感覚はばれる
1. 事実6から、推論1: "もし仮に「その社長秘書は反映され易くないしおまけにそれは扱い易くない」ということは成り立たないとすると純農村でない"が導かれる
2. 仮定1: 以下のように仮定する。「その社長秘書は反映され易くないしかつ扱い易くない」ということは成り立たない
3. 推論1と仮定1から、推論2: "その社長秘書は純農村でない"が導かれる
4. 事実1から、推論3: "「仮に「その社長秘書は純農村でない」ということは成り立つとすると「その社長秘書は敵司令官でないが成り得る」ということは嘘だ」ということは事実だ"が導かれる
5. 推論2と推論3から、推論4: "「その社長秘書は敵司令官でないがしかし成り得る」ということは間違っている"が導かれる
6. 推論4と事実3から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その社長秘書は反映され易くないしまた扱い易くない"が導かれる
8. 推論6と事実7から、推論7: "この調停委員は改宗しない"が導かれる
9. 推論7と事実8から、仮説が導かれる

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