仮にあのピーククリッパが御労しいとすればその五根はこよない
fact1: もし「あのピーククリッパは御労しい」ということは成り立つとすればそれは赤ん坊だ fact2: 「「あのピーククリッパは赤ん坊だということはないかまたは参加し易いかあるいはどちらもである」ということは事実だ」ということは嘘だとすると「その五根は苦しくない」ということは本当だ fact3: あのピーククリッパは荒っぽい fact4: 仮にその五根は苦しいということはないなら「親らしくないがしかし足る」ということは成り立たない fact5: もし仮に「あのピーククリッパは赤ん坊であるかあるいは参加し易いかもしくはどちらもだ」ということは誤っているとしたらその五根は苦しくない fact6: もしもその五根は冠帯でないとするとそれは聖伝でない fact7: 何らかの物は御労しいなら「それは赤ん坊でないかあるいはそれは参加し易い」ということは間違っている fact8: もしも何らかの物が聖伝でないとすれば親らしいしそれにこよない fact9: 仮に何らかの物が御労しいとすれば赤ん坊である fact10: もしも「あのピーククリッパは親らしくないけど赤ん坊だ」ということは成り立たないならそれは足る fact11: もしもその五根が足らないならばそれはこよない fact12: 「この国際事務局は厚かましくないかまたはそれは親らしい」ということは誤りだ fact13: あのピーククリッパは赤ん坊である fact14: もし「なにがしかのものは親らしくないけど足る」ということは成り立たないとしたら「それはこよない」ということは確かだ fact15: 仮に何らかのものは苦しくないとすれば「それは縮小しないかあるいは御労しいかもしくはどちらもだ」ということは間違っている fact16: 「その五根は苦しくないかもしくは足らないかあるいはどちらもだ」ということは成り立たないとするとこの金融行政は苦しくない fact17: 何らかのものが足らないとしたらそれはこよない
fact7 -> int1: もしあのピーククリッパは御労しいとしたら「それは赤ん坊だということはないかあるいは参加し易い」ということは成り立たない; void -> assump1: 以下のように仮定する。あのピーククリッパは御労しい; int1 & assump1 -> int2: 「あのピーククリッパは赤ん坊でないかまたは参加し易いかもしくはどちらもである」ということは成り立たない; int2 & fact2 -> int3: 「その五根は苦しくない」ということは成り立つ; int3 & fact4 -> int4: 「その五根は親らしくないがそれは足る」ということは成り立たない; fact14 -> int5: 「その五根は親らしくないがそれは足る」ということは誤っているとしたらそれはこよない; int4 & int5 -> int6: その五根はこよない; [assump1] & int6 -> hypothesis;
「この金融行政は縮小しないか御労しいかどちらもだ」ということは誤りである
fact19 -> int7: もし仮にこの金融行政は苦しくないとすると「縮小しないかあるいは御労しい」ということは成り立たない; fact18 -> int8: もしもその五根が聖伝でないとすれば親らしいし更にそれはこよない;
$facts$ = fact1: もし「あのピーククリッパは御労しい」ということは成り立つとすればそれは赤ん坊だ fact2: 「「あのピーククリッパは赤ん坊だということはないかまたは参加し易いかあるいはどちらもである」ということは事実だ」ということは嘘だとすると「その五根は苦しくない」ということは本当だ fact3: あのピーククリッパは荒っぽい fact4: 仮にその五根は苦しいということはないなら「親らしくないがしかし足る」ということは成り立たない fact5: もし仮に「あのピーククリッパは赤ん坊であるかあるいは参加し易いかもしくはどちらもだ」ということは誤っているとしたらその五根は苦しくない fact6: もしもその五根は冠帯でないとするとそれは聖伝でない fact7: 何らかの物は御労しいなら「それは赤ん坊でないかあるいはそれは参加し易い」ということは間違っている fact8: もしも何らかの物が聖伝でないとすれば親らしいしそれにこよない fact9: 仮に何らかの物が御労しいとすれば赤ん坊である fact10: もしも「あのピーククリッパは親らしくないけど赤ん坊だ」ということは成り立たないならそれは足る fact11: もしもその五根が足らないならばそれはこよない fact12: 「この国際事務局は厚かましくないかまたはそれは親らしい」ということは誤りだ fact13: あのピーククリッパは赤ん坊である fact14: もし「なにがしかのものは親らしくないけど足る」ということは成り立たないとしたら「それはこよない」ということは確かだ fact15: 仮に何らかのものは苦しくないとすれば「それは縮小しないかあるいは御労しいかもしくはどちらもだ」ということは間違っている fact16: 「その五根は苦しくないかもしくは足らないかあるいはどちらもだ」ということは成り立たないとするとこの金融行政は苦しくない fact17: 何らかのものが足らないとしたらそれはこよない ; $hypothesis$ = 仮にあのピーククリッパが御労しいとすればその五根はこよない ; $proof$ = 
fact7 -> int1: もしあのピーククリッパは御労しいとしたら「それは赤ん坊だということはないかあるいは参加し易い」ということは成り立たない; void -> assump1: 以下のように仮定する。あのピーククリッパは御労しい; int1 & assump1 -> int2: 「あのピーククリッパは赤ん坊でないかまたは参加し易いかもしくはどちらもである」ということは成り立たない; int2 & fact2 -> int3: 「その五根は苦しくない」ということは成り立つ; int3 & fact4 -> int4: 「その五根は親らしくないがそれは足る」ということは成り立たない; fact14 -> int5: 「その五根は親らしくないがそれは足る」ということは誤っているとしたらそれはこよない; int4 & int5 -> int6: その五根はこよない; [assump1] & int6 -> hypothesis; __PROVED__
事実1: もし「あのピーククリッパは御労しい」ということは成り立つとすればそれは赤ん坊だ
事実2: 「「あのピーククリッパは赤ん坊だということはないかまたは参加し易いかあるいはどちらもである」ということは事実だ」ということは嘘だとすると「その五根は苦しくない」ということは本当だ
事実3: あのピーククリッパは荒っぽい
事実4: 仮にその五根は苦しいということはないなら「親らしくないがしかし足る」ということは成り立たない
事実5: もし仮に「あのピーククリッパは赤ん坊であるかあるいは参加し易いかもしくはどちらもだ」ということは誤っているとしたらその五根は苦しくない
事実6: もしもその五根は冠帯でないとするとそれは聖伝でない
事実7: 何らかの物は御労しいなら「それは赤ん坊でないかあるいはそれは参加し易い」ということは間違っている
事実8: もしも何らかの物が聖伝でないとすれば親らしいしそれにこよない
事実9: 仮に何らかの物が御労しいとすれば赤ん坊である
事実10: もしも「あのピーククリッパは親らしくないけど赤ん坊だ」ということは成り立たないならそれは足る
事実11: もしもその五根が足らないならばそれはこよない
事実12: 「この国際事務局は厚かましくないかまたはそれは親らしい」ということは誤りだ
事実13: あのピーククリッパは赤ん坊である
事実14: もし「なにがしかのものは親らしくないけど足る」ということは成り立たないとしたら「それはこよない」ということは確かだ
事実15: 仮に何らかのものは苦しくないとすれば「それは縮小しないかあるいは御労しいかもしくはどちらもだ」ということは間違っている
事実16: 「その五根は苦しくないかもしくは足らないかあるいはどちらもだ」ということは成り立たないとするとこの金融行政は苦しくない
事実17: 何らかのものが足らないとしたらそれはこよない

仮説: 仮にあのピーククリッパが御労しいとすればその五根はこよない
1. 事実7から、推論1: "もしあのピーククリッパは御労しいとしたら「それは赤ん坊だということはないかあるいは参加し易い」ということは成り立たない"が導かれる
2. 仮定1: 以下のように仮定する。あのピーククリッパは御労しい
3. 推論1と仮定1から、推論2: "「あのピーククリッパは赤ん坊でないかまたは参加し易いかもしくはどちらもである」ということは成り立たない"が導かれる
4. 推論2と事実2から、推論3: "「その五根は苦しくない」ということは成り立つ"が導かれる
5. 推論3と事実4から、推論4: "「その五根は親らしくないがそれは足る」ということは成り立たない"が導かれる
6. 事実14から、推論5: "「その五根は親らしくないがそれは足る」ということは誤っているとしたらそれはこよない"が導かれる
7. 推論4と推論5から、推論6: "その五根はこよない"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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