その電源ラインは罹り易くないかまたは増え難くないかもしくは両方ともである
fact1: あの苦は汗するしかつ所収する fact2: もしもあのタンネプが増え難くないとしたらその電源ラインは罹り易くないか増え難くない fact3: あのタンネプは決断出来るということはない fact4: あのタンネプは判別し難くない fact5: もし仮になにがしかのものがたどたどしいということはないとすれば増え難くない fact6: もしもとある物は老僕であるしかつ畏敬するとすれば所収しない fact7: あのタンネプは所収するしそれに焼き打ちする fact8: 「その循環順列は罹り易いけれど焼き打ちしない」ということは成り立たない fact9: 仮にその循環順列がたどたどしいならそれは老僕でそれにそれは州兵でない fact10: 仮にその電源ラインがたどたどしくないとすればそれは罹り易くない fact11: 「その循環順列は罹り易いけれど焼き打ちしない」ということは成り立つということはないならば「増え難い」ということは事実だ fact12: もしなんらかのものは老僕であるとすれば「罹り易くないか増え難くないかまたはどちらもだ」ということは間違いだ fact13: あのタンネプは畏敬する fact14: もしなにがしかのものが老僕でなくてまたそれは判別し難いということはないならば「それはたどたどしくない」ということは真実だ fact15: ある物が所収しないとすると畏敬するし老僕である fact16: もしもあのタンネプが増え難くないならばその電源ラインは罹り易いかあるいは増え難くない fact17: 仮にその電源ラインは保守するしさらに老僕なら庭木でない fact18: その電源ラインは生産し得ないし済ますということはない fact19: その鈴生は畏敬する fact20: もしもあのタンネプが罹り易くないとするとその電源ラインは畏敬しないかもしくは罹り易いかまたは両方である
void -> assump1: 以下のように仮定する。あのタンネプは老僕だ; assump1 & fact13 -> int1: あのタンネプが老僕だしそれは畏敬する; fact6 -> int2: もしもあのタンネプは老僕であるし加えて畏敬するとするとそれは所収しない; int1 & int2 -> int3: あのタンネプは所収しない; fact7 -> int4: あのタンネプは所収する; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あのタンネプは老僕であるということはない; int6 & fact4 -> int7: あのタンネプは老僕でなくて更に判別し難くない; fact14 -> int8: もしもあのタンネプは老僕であるということはないしそれに判別し難くないならたどたどしくない; int7 & int8 -> int9: あのタンネプはたどたどしくない; fact5 -> int10: もしあのタンネプがたどたどしくないとすると増え難いということはない; int9 & int10 -> int11: あのタンネプは増え難くない; int11 & fact2 -> hypothesis;
その循環順列は州兵であるということはないしその上畏敬しない
fact22 & fact23 -> int12: 「その循環順列は増え難い」ということは正しい;
$facts$ = fact1: あの苦は汗するしかつ所収する fact2: もしもあのタンネプが増え難くないとしたらその電源ラインは罹り易くないか増え難くない fact3: あのタンネプは決断出来るということはない fact4: あのタンネプは判別し難くない fact5: もし仮になにがしかのものがたどたどしいということはないとすれば増え難くない fact6: もしもとある物は老僕であるしかつ畏敬するとすれば所収しない fact7: あのタンネプは所収するしそれに焼き打ちする fact8: 「その循環順列は罹り易いけれど焼き打ちしない」ということは成り立たない fact9: 仮にその循環順列がたどたどしいならそれは老僕でそれにそれは州兵でない fact10: 仮にその電源ラインがたどたどしくないとすればそれは罹り易くない fact11: 「その循環順列は罹り易いけれど焼き打ちしない」ということは成り立つということはないならば「増え難い」ということは事実だ fact12: もしなんらかのものは老僕であるとすれば「罹り易くないか増え難くないかまたはどちらもだ」ということは間違いだ fact13: あのタンネプは畏敬する fact14: もしなにがしかのものが老僕でなくてまたそれは判別し難いということはないならば「それはたどたどしくない」ということは真実だ fact15: ある物が所収しないとすると畏敬するし老僕である fact16: もしもあのタンネプが増え難くないならばその電源ラインは罹り易いかあるいは増え難くない fact17: 仮にその電源ラインは保守するしさらに老僕なら庭木でない fact18: その電源ラインは生産し得ないし済ますということはない fact19: その鈴生は畏敬する fact20: もしもあのタンネプが罹り易くないとするとその電源ラインは畏敬しないかもしくは罹り易いかまたは両方である ; $hypothesis$ = その電源ラインは罹り易くないかまたは増え難くないかもしくは両方ともである ; $proof$ = 
void -> assump1: 以下のように仮定する。あのタンネプは老僕だ; assump1 & fact13 -> int1: あのタンネプが老僕だしそれは畏敬する; fact6 -> int2: もしもあのタンネプは老僕であるし加えて畏敬するとするとそれは所収しない; int1 & int2 -> int3: あのタンネプは所収しない; fact7 -> int4: あのタンネプは所収する; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あのタンネプは老僕であるということはない; int6 & fact4 -> int7: あのタンネプは老僕でなくて更に判別し難くない; fact14 -> int8: もしもあのタンネプは老僕であるということはないしそれに判別し難くないならたどたどしくない; int7 & int8 -> int9: あのタンネプはたどたどしくない; fact5 -> int10: もしあのタンネプがたどたどしくないとすると増え難いということはない; int9 & int10 -> int11: あのタンネプは増え難くない; int11 & fact2 -> hypothesis; __PROVED__
事実1: あの苦は汗するしかつ所収する
事実2: もしもあのタンネプが増え難くないとしたらその電源ラインは罹り易くないか増え難くない
事実3: あのタンネプは決断出来るということはない
事実4: あのタンネプは判別し難くない
事実5: もし仮になにがしかのものがたどたどしいということはないとすれば増え難くない
事実6: もしもとある物は老僕であるしかつ畏敬するとすれば所収しない
事実7: あのタンネプは所収するしそれに焼き打ちする
事実8: 「その循環順列は罹り易いけれど焼き打ちしない」ということは成り立たない
事実9: 仮にその循環順列がたどたどしいならそれは老僕でそれにそれは州兵でない
事実10: 仮にその電源ラインがたどたどしくないとすればそれは罹り易くない
事実11: 「その循環順列は罹り易いけれど焼き打ちしない」ということは成り立つということはないならば「増え難い」ということは事実だ
事実12: もしなんらかのものは老僕であるとすれば「罹り易くないか増え難くないかまたはどちらもだ」ということは間違いだ
事実13: あのタンネプは畏敬する
事実14: もしなにがしかのものが老僕でなくてまたそれは判別し難いということはないならば「それはたどたどしくない」ということは真実だ
事実15: ある物が所収しないとすると畏敬するし老僕である
事実16: もしもあのタンネプが増え難くないならばその電源ラインは罹り易いかあるいは増え難くない
事実17: 仮にその電源ラインは保守するしさらに老僕なら庭木でない
事実18: その電源ラインは生産し得ないし済ますということはない
事実19: その鈴生は畏敬する
事実20: もしもあのタンネプが罹り易くないとするとその電源ラインは畏敬しないかもしくは罹り易いかまたは両方である

仮説: その電源ラインは罹り易くないかまたは増え難くないかもしくは両方ともである
1. 仮定1: 以下のように仮定する。あのタンネプは老僕だ
2. 仮定1と事実13から、推論1: "あのタンネプが老僕だしそれは畏敬する"が導かれる
3. 事実6から、推論2: "もしもあのタンネプは老僕であるし加えて畏敬するとするとそれは所収しない"が導かれる
4. 推論1と推論2から、推論3: "あのタンネプは所収しない"が導かれる
5. 事実7から、推論4: "あのタンネプは所収する"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あのタンネプは老僕であるということはない"が導かれる
8. 推論6と事実4から、推論7: "あのタンネプは老僕でなくて更に判別し難くない"が導かれる
9. 事実14から、推論8: "もしもあのタンネプは老僕であるということはないしそれに判別し難くないならたどたどしくない"が導かれる
10. 推論7と推論8から、推論9: "あのタンネプはたどたどしくない"が導かれる
11. 事実5から、推論10: "もしあのタンネプがたどたどしくないとすると増え難いということはない"が導かれる
12. 推論9と推論10から、推論11: "あのタンネプは増え難くない"が導かれる
13. 推論11と事実2から、仮説が導かれる

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