「あのチョーカーは手強くないけどそれは払い除ける」ということは真実であるということはない
fact1: もしその既得権は払い除けないとしたら「あのチョーカーは手強いししかも払い除ける」ということは成り立つということはない fact2: 仮にあの御金が投降するとすればその既得権は成り難い fact3: 何らかのものは払い除けるし成り難いとしたら配置図でない fact4: 仮にとあるものは忘れ易くないならば「投降しなくておまけに成り難くない」ということは偽だ fact5: あのチョーカーは手強いとすると「それは返却するということはなくてしかもそれは配置図である」ということは嘘だ fact6: 何らかの物がへらへらしないししかも金色はからない fact7: 「あのチョーカーは手強いしおまけに払い除ける」ということは間違っている fact8: この清国官憲は返却する fact9: 「あの御金は忘れ易い」ということは成り立つ fact10: もしもその既得権は三蹟だとすれば「払い除ける」ということは成り立つ fact11: もし仮に「へらへらしないしまた金色がからない」ものがあるとするとその既得権は形容し難いということはない fact12: あのチョーカーが配置図でないならばそれは投降するし加えて払い除ける fact13: あの御金は投降するし忘れ易い fact14: もしもあの御金は払い除けるなら「あのチョーカーは投降する」ということは真実だ fact15: 仮に何かは形容し難くないとしたら「配置図であるが返却するということはない」ということは間違いである fact16: もしもその既得権は払い除けないならば「あのチョーカーは配置図だということはないが払い除ける」ということは間違いだ fact17: もし仮にとあるものが返却するとしたら配置図だ fact18: もしも「忘れ易くないかもしくは成り難くないかあるいは両方である」物があるとしたらあの御金は成り難くない fact19: あの御金が忘れ易くないしさらに成り難くないならばあのチョーカーは投降する fact20: その既得権は返却する fact21: あのチョーカーがへらへらしないならばそれは形容し難いし加えて手強い fact22: あの単純平均は払い除けない fact23: 仮に何らかのものが見え難いとするとそれはジャム状である fact24: あのチョーカーは投降する fact25: もし仮にその既得権は払い除けないなら「あのチョーカーは手強くないが払い除ける」ということは成り立たない fact26: もしあのチョーカーが投降するとすればあの既得権は忘れ易くないかそれは成り難くないかもしくは両方ともである
fact13 -> int1: 「あの御金は投降する」ということは偽でない; int1 & fact2 -> int2: その既得権は成り難い; void -> assump1: 以下のように仮定する。その既得権は払い除ける; int2 & assump1 -> int3: その既得権は払い除けるし成り難い; fact3 -> int4: その既得権が払い除けるししかもそれが成り難いならそれは配置図でない; int3 & int4 -> int5: その既得権は配置図でない; fact17 -> int6: もしもその既得権が返却するとすると配置図だ; int6 & fact20 -> int7: その既得権は配置図である; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: その既得権は払い除けない; int9 & fact25 -> hypothesis;
あのチョーカーは手強くないけれど払い除ける
fact27 -> 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: あのチョーカーは投降する fact25: もし仮にその既得権は払い除けないなら「あのチョーカーは手強くないが払い除ける」ということは成り立たない fact26: もしあのチョーカーが投降するとすればあの既得権は忘れ易くないかそれは成り難くないかもしくは両方ともである ; $hypothesis$ = 「あのチョーカーは手強くないけどそれは払い除ける」ということは真実であるということはない ; $proof$ = 
fact13 -> int1: 「あの御金は投降する」ということは偽でない; int1 & fact2 -> int2: その既得権は成り難い; void -> assump1: 以下のように仮定する。その既得権は払い除ける; int2 & assump1 -> int3: その既得権は払い除けるし成り難い; fact3 -> int4: その既得権が払い除けるししかもそれが成り難いならそれは配置図でない; int3 & int4 -> int5: その既得権は配置図でない; fact17 -> int6: もしもその既得権が返却するとすると配置図だ; int6 & fact20 -> int7: その既得権は配置図である; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: その既得権は払い除けない; int9 & fact25 -> 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: あのチョーカーは投降する
事実25: もし仮にその既得権は払い除けないなら「あのチョーカーは手強くないが払い除ける」ということは成り立たない
事実26: もしあのチョーカーが投降するとすればあの既得権は忘れ易くないかそれは成り難くないかもしくは両方ともである

仮説: 「あのチョーカーは手強くないけどそれは払い除ける」ということは真実であるということはない
1. 事実13から、推論1: "「あの御金は投降する」ということは偽でない"が導かれる
2. 推論1と事実2から、推論2: "その既得権は成り難い"が導かれる
3. 仮定1: 以下のように仮定する。その既得権は払い除ける
4. 推論2と仮定1から、推論3: "その既得権は払い除けるし成り難い"が導かれる
5. 事実3から、推論4: "その既得権が払い除けるししかもそれが成り難いならそれは配置図でない"が導かれる
6. 推論3と推論4から、推論5: "その既得権は配置図でない"が導かれる
7. 事実17から、推論6: "もしもその既得権が返却するとすると配置図だ"が導かれる
8. 推論6と事実20から、推論7: "その既得権は配置図である"が導かれる
9. 推論5と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "その既得権は払い除けない"が導かれる
11. 推論9と事実25から、仮説が導かれる

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