その果報はこそばゆい
fact1: 仮にその頂塔は御苦労為さらないとしたら「それは刷新だ」ということは成り立つ fact2: その頂塔は交わし合わないとすれば「耳打ちしないけれど過不足無い」ということは誤りだ fact3: 「その頂塔は御苦労為さる」ということは誤りである fact4: 「このパシーンは御苦労為さる」ということは誤りである fact5: もしもその果報は御苦労為さらないとすると「それは耳打ちするし更にこそばゆい」ということは間違っている fact6: 仮にその何年前が手足ならその果報はこそばゆい fact7: もし仮に何らかのものが御苦労為さらないなら交わし合わないけれど刷新である fact8: 「何かは耳打ちするし加えてこそばゆい」ということは成り立たないとしたらこそばゆくない fact9: もしも「「その頂塔は耳打ちしないけど過不足無い」ということは成り立たない」ということは本当であるならばその何年前は手足だ
fact7 -> int1: 仮にその頂塔が御苦労為さるということはないとすればそれは交わし合わないけれど刷新である; int1 & fact3 -> int2: その頂塔は交わし合うということはないけどそれは刷新だ; int2 -> int3: その頂塔は交わし合わない; int3 & fact2 -> int4: 「その頂塔は耳打ちしないがしかしそれは過不足無い」ということは間違いだ; int4 & fact9 -> int5: その何年前は手足だ; int5 & fact6 -> hypothesis;
その果報はこそばゆくない
fact11 -> int6: 「その果報は耳打ちするしおまけにこそばゆい」ということは成り立たないとするとそれはこそばゆいということはない;
$facts$ = fact1: 仮にその頂塔は御苦労為さらないとしたら「それは刷新だ」ということは成り立つ fact2: その頂塔は交わし合わないとすれば「耳打ちしないけれど過不足無い」ということは誤りだ fact3: 「その頂塔は御苦労為さる」ということは誤りである fact4: 「このパシーンは御苦労為さる」ということは誤りである fact5: もしもその果報は御苦労為さらないとすると「それは耳打ちするし更にこそばゆい」ということは間違っている fact6: 仮にその何年前が手足ならその果報はこそばゆい fact7: もし仮に何らかのものが御苦労為さらないなら交わし合わないけれど刷新である fact8: 「何かは耳打ちするし加えてこそばゆい」ということは成り立たないとしたらこそばゆくない fact9: もしも「「その頂塔は耳打ちしないけど過不足無い」ということは成り立たない」ということは本当であるならばその何年前は手足だ ; $hypothesis$ = その果報はこそばゆい ; $proof$ = 
fact7 -> int1: 仮にその頂塔が御苦労為さるということはないとすればそれは交わし合わないけれど刷新である; int1 & fact3 -> int2: その頂塔は交わし合うということはないけどそれは刷新だ; int2 -> int3: その頂塔は交わし合わない; int3 & fact2 -> int4: 「その頂塔は耳打ちしないがしかしそれは過不足無い」ということは間違いだ; int4 & fact9 -> int5: その何年前は手足だ; int5 & fact6 -> hypothesis; __PROVED__
事実1: 仮にその頂塔は御苦労為さらないとしたら「それは刷新だ」ということは成り立つ
事実2: その頂塔は交わし合わないとすれば「耳打ちしないけれど過不足無い」ということは誤りだ
事実3: 「その頂塔は御苦労為さる」ということは誤りである
事実4: 「このパシーンは御苦労為さる」ということは誤りである
事実5: もしもその果報は御苦労為さらないとすると「それは耳打ちするし更にこそばゆい」ということは間違っている
事実6: 仮にその何年前が手足ならその果報はこそばゆい
事実7: もし仮に何らかのものが御苦労為さらないなら交わし合わないけれど刷新である
事実8: 「何かは耳打ちするし加えてこそばゆい」ということは成り立たないとしたらこそばゆくない
事実9: もしも「「その頂塔は耳打ちしないけど過不足無い」ということは成り立たない」ということは本当であるならばその何年前は手足だ

仮説: その果報はこそばゆい
1. 事実7から、推論1: "仮にその頂塔が御苦労為さるということはないとすればそれは交わし合わないけれど刷新である"が導かれる
2. 推論1と事実3から、推論2: "その頂塔は交わし合うということはないけどそれは刷新だ"が導かれる
3. 推論2から、推論3: "その頂塔は交わし合わない"が導かれる
4. 推論3と事実2から、推論4: "「その頂塔は耳打ちしないがしかしそれは過不足無い」ということは間違いだ"が導かれる
5. 推論4と事実9から、推論5: "その何年前は手足だ"が導かれる
6. 推論5と事実6から、仮説が導かれる

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