「「主張し得る」ということは真実なら「踊り念仏でなくて右往左往しない」ということは誤っている」ものはある
fact1: 「主張し得るとすれば「踊り念仏である一方で右往左往しない」ということは成り立つということはない」ものはある fact2: 仮にこのとろとろ石鹸は主張し得るとすると「それは踊り念仏であるということはないしさらにそれは右往左往する」ということは誤りである fact3: もしもこのとろとろ石鹸は主張し得るなら「踊り念仏でないし右往左往しない」ということは嘘だ fact4: 「もしも主張し得れば踊り念仏でなくてその上右往左往しない」ものはある fact5: このとろとろ石鹸が主張し得るとしたら踊り念仏でなくてその上右往左往しない fact6: もしもこのとろとろ石鹸は主張し得るとすると「踊り念仏であるがしかし右往左往しない」ということは誤っている fact7: もしもあるものはうら若しとしたら「踊り念仏でなくて集め易くない」ということは成り立たない
fact3 -> hypothesis;
仮にこのとろとろ石鹸はうら若しとすると「それは踊り念仏でなくてまた集め易くない」ということは成り立たない
fact8 -> hypothesis;
$facts$ = fact1: 「主張し得るとすれば「踊り念仏である一方で右往左往しない」ということは成り立つということはない」ものはある fact2: 仮にこのとろとろ石鹸は主張し得るとすると「それは踊り念仏であるということはないしさらにそれは右往左往する」ということは誤りである fact3: もしもこのとろとろ石鹸は主張し得るなら「踊り念仏でないし右往左往しない」ということは嘘だ fact4: 「もしも主張し得れば踊り念仏でなくてその上右往左往しない」ものはある fact5: このとろとろ石鹸が主張し得るとしたら踊り念仏でなくてその上右往左往しない fact6: もしもこのとろとろ石鹸は主張し得るとすると「踊り念仏であるがしかし右往左往しない」ということは誤っている fact7: もしもあるものはうら若しとしたら「踊り念仏でなくて集め易くない」ということは成り立たない ; $hypothesis$ = 「「主張し得る」ということは真実なら「踊り念仏でなくて右往左往しない」ということは誤っている」ものはある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「主張し得るとすれば「踊り念仏である一方で右往左往しない」ということは成り立つということはない」ものはある
事実2: 仮にこのとろとろ石鹸は主張し得るとすると「それは踊り念仏であるということはないしさらにそれは右往左往する」ということは誤りである
事実3: もしもこのとろとろ石鹸は主張し得るなら「踊り念仏でないし右往左往しない」ということは嘘だ
事実4: 「もしも主張し得れば踊り念仏でなくてその上右往左往しない」ものはある
事実5: このとろとろ石鹸が主張し得るとしたら踊り念仏でなくてその上右往左往しない
事実6: もしもこのとろとろ石鹸は主張し得るとすると「踊り念仏であるがしかし右往左往しない」ということは誤っている
事実7: もしもあるものはうら若しとしたら「踊り念仏でなくて集め易くない」ということは成り立たない

仮説: 「「主張し得る」ということは真実なら「踊り念仏でなくて右往左往しない」ということは誤っている」ものはある
1. 事実3から、仮説が導かれる

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