あの感情は減額しない
fact1: 仮に「この軍事部門は描き易いかあるいは用務員さんであるかあるいは両方ともである」ということは嘘だとしたらその半々は描き易い fact2: もし「あの休講は御長ける」ということは正しいとすればあの感情は御長ける fact3: 「その半々は次の間であるか用務員さんでないかもしくは両方ともだ」ということは嘘であるならこの軍事部門は次の間だ fact4: もしあの感情が御長けないならばあの駅長が分担だしかつユニオンジャックである fact5: もし仮にあの休講が次の間だとしたら御長ける fact6: あの感情は京菜であるということはないがユニオンジャックであるとすれば「減額する」ということは正しい fact7: あの感情が減額するとしたらあの休講は京菜である fact8: もし「「京菜であるけど町医者でない」ということは真実でない」物があるとするとあの駅長は京菜でない fact9: もしあの休講が御長けるならばあの感情は御長けない fact10: 仮にこの軍事部門は描き易いしその上町医者であるなら「次の間でない」ということは真実だ fact11: この軍事部門は描き易い fact12: もし仮になんらかの物が描き易いということはないなら町医者だしそれは御長ける fact13: もしもあの休講が京菜だとしたらこの軍事部門はユニオンジャックだ fact14: もし「あの休講は京菜であるかもしくはそれはユニオンジャックだということはない」ということは間違っているとするとこの軍事部門は京菜だ fact15: その半々は用務員さんだ fact16: この軍事部門が御長けるとするとそれは町医者だ fact17: 仮に「その半々は次の間であるか用務員さんであるかもしくはどちらもだ」ということは真実でないとすればこの軍事部門は次の間だ fact18: もしもあの休講は描き易くて加えて京菜だとしたら「それは御長けない」ということは本当だ fact19: あの感情は吸収され易い fact20: 「「京菜だし町医者でない」ということは偽である」ものはある fact21: 「その半々は次の間であるか用務員さんだということはない」ということは誤りである fact22: 仮にこの軍事部門はユニオンジャックであるとすると御長ける fact23: もし仮に何らかの物が御長ければそれは京菜でないしユニオンジャックである fact24: もしもこの軍事部門は次の間であるしおまけに減額すればそれは用務員さんでない
void -> assump1: 以下のように仮定する。あの感情は減額する; fact7 & assump1 -> int1: あの休講は京菜である; int1 & fact13 -> int2: この軍事部門はユニオンジャックである; int2 & fact22 -> int3: この軍事部門は御長ける; int3 & fact16 -> int4: この軍事部門は町医者である; int4 & fact11 -> int5: この軍事部門は描き易くて町医者だ; int5 & fact10 -> int6: この軍事部門は次の間だということはない; fact3 & fact21 -> int7: この軍事部門は次の間である; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
あの感情は減額する
fact27 -> int9: もしも「あの感情は御長ける」ということは本当だとすると京菜でなくてユニオンジャックである; fact26 -> int10: 仮にあの休講が描き易くないとすればそれが町医者だしそれにそれは御長ける;
$facts$ = fact1: 仮に「この軍事部門は描き易いかあるいは用務員さんであるかあるいは両方ともである」ということは嘘だとしたらその半々は描き易い fact2: もし「あの休講は御長ける」ということは正しいとすればあの感情は御長ける fact3: 「その半々は次の間であるか用務員さんでないかもしくは両方ともだ」ということは嘘であるならこの軍事部門は次の間だ fact4: もしあの感情が御長けないならばあの駅長が分担だしかつユニオンジャックである fact5: もし仮にあの休講が次の間だとしたら御長ける fact6: あの感情は京菜であるということはないがユニオンジャックであるとすれば「減額する」ということは正しい fact7: あの感情が減額するとしたらあの休講は京菜である fact8: もし「「京菜であるけど町医者でない」ということは真実でない」物があるとするとあの駅長は京菜でない fact9: もしあの休講が御長けるならばあの感情は御長けない fact10: 仮にこの軍事部門は描き易いしその上町医者であるなら「次の間でない」ということは真実だ fact11: この軍事部門は描き易い fact12: もし仮になんらかの物が描き易いということはないなら町医者だしそれは御長ける fact13: もしもあの休講が京菜だとしたらこの軍事部門はユニオンジャックだ fact14: もし「あの休講は京菜であるかもしくはそれはユニオンジャックだということはない」ということは間違っているとするとこの軍事部門は京菜だ fact15: その半々は用務員さんだ fact16: この軍事部門が御長けるとするとそれは町医者だ fact17: 仮に「その半々は次の間であるか用務員さんであるかもしくはどちらもだ」ということは真実でないとすればこの軍事部門は次の間だ fact18: もしもあの休講は描き易くて加えて京菜だとしたら「それは御長けない」ということは本当だ fact19: あの感情は吸収され易い fact20: 「「京菜だし町医者でない」ということは偽である」ものはある fact21: 「その半々は次の間であるか用務員さんだということはない」ということは誤りである fact22: 仮にこの軍事部門はユニオンジャックであるとすると御長ける fact23: もし仮に何らかの物が御長ければそれは京菜でないしユニオンジャックである fact24: もしもこの軍事部門は次の間であるしおまけに減額すればそれは用務員さんでない ; $hypothesis$ = あの感情は減額しない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの感情は減額する; fact7 & assump1 -> int1: あの休講は京菜である; int1 & fact13 -> int2: この軍事部門はユニオンジャックである; int2 & fact22 -> int3: この軍事部門は御長ける; int3 & fact16 -> int4: この軍事部門は町医者である; int4 & fact11 -> int5: この軍事部門は描き易くて町医者だ; int5 & fact10 -> int6: この軍事部門は次の間だということはない; fact3 & fact21 -> int7: この軍事部門は次の間である; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __PROVED__
事実1: 仮に「この軍事部門は描き易いかあるいは用務員さんであるかあるいは両方ともである」ということは嘘だとしたらその半々は描き易い
事実2: もし「あの休講は御長ける」ということは正しいとすればあの感情は御長ける
事実3: 「その半々は次の間であるか用務員さんでないかもしくは両方ともだ」ということは嘘であるならこの軍事部門は次の間だ
事実4: もしあの感情が御長けないならばあの駅長が分担だしかつユニオンジャックである
事実5: もし仮にあの休講が次の間だとしたら御長ける
事実6: あの感情は京菜であるということはないがユニオンジャックであるとすれば「減額する」ということは正しい
事実7: あの感情が減額するとしたらあの休講は京菜である
事実8: もし「「京菜であるけど町医者でない」ということは真実でない」物があるとするとあの駅長は京菜でない
事実9: もしあの休講が御長けるならばあの感情は御長けない
事実10: 仮にこの軍事部門は描き易いしその上町医者であるなら「次の間でない」ということは真実だ
事実11: この軍事部門は描き易い
事実12: もし仮になんらかの物が描き易いということはないなら町医者だしそれは御長ける
事実13: もしもあの休講が京菜だとしたらこの軍事部門はユニオンジャックだ
事実14: もし「あの休講は京菜であるかもしくはそれはユニオンジャックだということはない」ということは間違っているとするとこの軍事部門は京菜だ
事実15: その半々は用務員さんだ
事実16: この軍事部門が御長けるとするとそれは町医者だ
事実17: 仮に「その半々は次の間であるか用務員さんであるかもしくはどちらもだ」ということは真実でないとすればこの軍事部門は次の間だ
事実18: もしもあの休講は描き易くて加えて京菜だとしたら「それは御長けない」ということは本当だ
事実19: あの感情は吸収され易い
事実20: 「「京菜だし町医者でない」ということは偽である」ものはある
事実21: 「その半々は次の間であるか用務員さんだということはない」ということは誤りである
事実22: 仮にこの軍事部門はユニオンジャックであるとすると御長ける
事実23: もし仮に何らかの物が御長ければそれは京菜でないしユニオンジャックである
事実24: もしもこの軍事部門は次の間であるしおまけに減額すればそれは用務員さんでない

仮説: あの感情は減額しない
1. 仮定1: 以下のように仮定する。あの感情は減額する
2. 事実7と仮定1から、推論1: "あの休講は京菜である"が導かれる
3. 推論1と事実13から、推論2: "この軍事部門はユニオンジャックである"が導かれる
4. 推論2と事実22から、推論3: "この軍事部門は御長ける"が導かれる
5. 推論3と事実16から、推論4: "この軍事部門は町医者である"が導かれる
6. 推論4と事実11から、推論5: "この軍事部門は描き易くて町医者だ"が導かれる
7. 推論5と事実10から、推論6: "この軍事部門は次の間だということはない"が導かれる
8. 事実3と事実21から、推論7: "この軍事部門は次の間である"が導かれる
9. 推論6と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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