「もし仮に「祈願しなくて更に下ろし易くない」ということは誤っていれば更迭しない」物はある
fact1: 仮に「この別れが祈願しないしさらに下ろし易くない」ということは事実と異なればそれは更迭する fact2: 「あるものは祈願するということはない一方でそれは下ろし易い」ということは事実でないとするとそれは更迭しない fact3: 「仮に「祈願しないけれど下ろし易い」ということは事実と異なるとすると「更迭しない」ということは事実である」ものはある fact4: もしもあるものが祈願しないし下ろし易いということはないなら「更迭しない」ということは成り立つ fact5: 「「とあるものは祈願しないしまた下ろし易いということはない」ということは偽だとすると「それは更迭する」ということは真実である」ということは本当だ fact6: 仮に「何らかの物は祈願しなくて下ろし易くない」ということは確かでないとしたら更迭しない fact7: 「祈願しないし下ろし易いということはないとすれば更迭しない」物はある fact8: 「ある物は祈願する」ということは正しいならば「それは更迭しない」ということは正しい
fact6 -> int1: もし仮に「この別れは祈願するということはなくてかつそれは下ろし易くない」ということは誤っているとすれば更迭しない; int1 -> hypothesis;
$facts$ = fact1: 仮に「この別れが祈願しないしさらに下ろし易くない」ということは事実と異なればそれは更迭する fact2: 「あるものは祈願するということはない一方でそれは下ろし易い」ということは事実でないとするとそれは更迭しない fact3: 「仮に「祈願しないけれど下ろし易い」ということは事実と異なるとすると「更迭しない」ということは事実である」ものはある fact4: もしもあるものが祈願しないし下ろし易いということはないなら「更迭しない」ということは成り立つ fact5: 「「とあるものは祈願しないしまた下ろし易いということはない」ということは偽だとすると「それは更迭する」ということは真実である」ということは本当だ fact6: 仮に「何らかの物は祈願しなくて下ろし易くない」ということは確かでないとしたら更迭しない fact7: 「祈願しないし下ろし易いということはないとすれば更迭しない」物はある fact8: 「ある物は祈願する」ということは正しいならば「それは更迭しない」ということは正しい ; $hypothesis$ = 「もし仮に「祈願しなくて更に下ろし易くない」ということは誤っていれば更迭しない」物はある ; $proof$ = 
fact6 -> int1: もし仮に「この別れは祈願するということはなくてかつそれは下ろし易くない」ということは誤っているとすれば更迭しない; int1 -> hypothesis; __PROVED__
事実1: 仮に「この別れが祈願しないしさらに下ろし易くない」ということは事実と異なればそれは更迭する
事実2: 「あるものは祈願するということはない一方でそれは下ろし易い」ということは事実でないとするとそれは更迭しない
事実3: 「仮に「祈願しないけれど下ろし易い」ということは事実と異なるとすると「更迭しない」ということは事実である」ものはある
事実4: もしもあるものが祈願しないし下ろし易いということはないなら「更迭しない」ということは成り立つ
事実5: 「「とあるものは祈願しないしまた下ろし易いということはない」ということは偽だとすると「それは更迭する」ということは真実である」ということは本当だ
事実6: 仮に「何らかの物は祈願しなくて下ろし易くない」ということは確かでないとしたら更迭しない
事実7: 「祈願しないし下ろし易いということはないとすれば更迭しない」物はある
事実8: 「ある物は祈願する」ということは正しいならば「それは更迭しない」ということは正しい

仮説: 「もし仮に「祈願しなくて更に下ろし易くない」ということは誤っていれば更迭しない」物はある
1. 事実6から、推論1: "もし仮に「この別れは祈願するということはなくてかつそれは下ろし易くない」ということは誤っているとすれば更迭しない"が導かれる
2. 推論1から、仮説が導かれる

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