「仮に「権利承継人でないかもしくは聴取しないかあるいは両方ともだ」ということは成り立つということはないなら「そうこうしない」ということは成り立つ」ものはある
fact1: もし仮に「あの禿鷲は権利承継人であるかそれは聴取しないかもしくはどちらもだ」ということは嘘であるならばそれはそうこうしない fact2: もし「あの禿鷲は権利承継人でないかもしくは聴取しないか両方である」ということは成り立つということはないとしたらそうこうする fact3: 仮に「何かは権利承継人でないかもしくはそれは聴取しない」ということは間違っているとするとそれはそうこうしない fact4: 「もしも「権利承継人でないかまたは聴取する」ということは成り立たないならそうこうしない」物はある fact5: 「「あるものは粒でないかそれは燻り続けるということはない」ということは嘘であるならばそれは苦しみ悩まない」ということは成り立つ fact6: もし仮にあの禿鷲は運び易いということはないか留意すらないかもしくはどちらもであるとするとそれは幅広くない fact7: 仮に「ある物は権利承継人でないかあるいは聴取しないかあるいは両方ともだ」ということは成り立たないならそれはそうこうする fact8: もし仮に「「あの禿鷲はそうこうしないかあるいは通常であるということはないかもしくは両方だ」ということは嘘である」ということは真実だとすると下ろし易い fact9: 「もしも「権利承継人でないか聴取しないかまたは両方だ」ということは成り立たないとすればそうこうする」ものはある fact10: 「「なんらかのものは権利承継人でないかそれは聴取するかまたはどちらもだ」ということは成り立たないとするとそうこうするということはない」ということは成り立つ fact11: 「もし権利承継人だということはないかあるいは聴取しないかもしくは両方ともであるとするとそうこうするということはない」物はある fact12: 「もし仮に「権利承継人であるかまたは聴取しないかもしくは両方だ」ということは誤りならばそうこうしない」ものはある fact13: もしもなんらかの物が権利承継人でないかあるいは聴取しないならばそれはそうこうしない fact14: 仮に「何かは権利承継人であるかあるいはそれは聴取しないかあるいはどちらもである」ということは誤っているとしたらそうこうしない fact15: 「もし仮に「慙愧でないか自己保身でないか両方である」ということは偽ならコーディネートする」ものはある fact16: もしもあの禿鷲は権利承継人であるということはないかもしくは聴取しないか両方ともならばそうこうしない fact17: もし仮に「あの禿鷲は権利承継人でないかもしくは聴取するかあるいはどちらもだ」ということは成り立たないとすると「それはそうこうしない」ということは成り立つ
fact3 -> int1: もしも「「あの禿鷲は権利承継人でないかあるいは聴取しないか両方ともだ」ということは偽である」ということは間違いでないならばそうこうしない; int1 -> hypothesis;
$facts$ = fact1: もし仮に「あの禿鷲は権利承継人であるかそれは聴取しないかもしくはどちらもだ」ということは嘘であるならばそれはそうこうしない fact2: もし「あの禿鷲は権利承継人でないかもしくは聴取しないか両方である」ということは成り立つということはないとしたらそうこうする fact3: 仮に「何かは権利承継人でないかもしくはそれは聴取しない」ということは間違っているとするとそれはそうこうしない fact4: 「もしも「権利承継人でないかまたは聴取する」ということは成り立たないならそうこうしない」物はある fact5: 「「あるものは粒でないかそれは燻り続けるということはない」ということは嘘であるならばそれは苦しみ悩まない」ということは成り立つ fact6: もし仮にあの禿鷲は運び易いということはないか留意すらないかもしくはどちらもであるとするとそれは幅広くない fact7: 仮に「ある物は権利承継人でないかあるいは聴取しないかあるいは両方ともだ」ということは成り立たないならそれはそうこうする fact8: もし仮に「「あの禿鷲はそうこうしないかあるいは通常であるということはないかもしくは両方だ」ということは嘘である」ということは真実だとすると下ろし易い fact9: 「もしも「権利承継人でないか聴取しないかまたは両方だ」ということは成り立たないとすればそうこうする」ものはある fact10: 「「なんらかのものは権利承継人でないかそれは聴取するかまたはどちらもだ」ということは成り立たないとするとそうこうするということはない」ということは成り立つ fact11: 「もし権利承継人だということはないかあるいは聴取しないかもしくは両方ともであるとするとそうこうするということはない」物はある fact12: 「もし仮に「権利承継人であるかまたは聴取しないかもしくは両方だ」ということは誤りならばそうこうしない」ものはある fact13: もしもなんらかの物が権利承継人でないかあるいは聴取しないならばそれはそうこうしない fact14: 仮に「何かは権利承継人であるかあるいはそれは聴取しないかあるいはどちらもである」ということは誤っているとしたらそうこうしない fact15: 「もし仮に「慙愧でないか自己保身でないか両方である」ということは偽ならコーディネートする」ものはある fact16: もしもあの禿鷲は権利承継人であるということはないかもしくは聴取しないか両方ともならばそうこうしない fact17: もし仮に「あの禿鷲は権利承継人でないかもしくは聴取するかあるいはどちらもだ」ということは成り立たないとすると「それはそうこうしない」ということは成り立つ ; $hypothesis$ = 「仮に「権利承継人でないかもしくは聴取しないかあるいは両方ともだ」ということは成り立つということはないなら「そうこうしない」ということは成り立つ」ものはある ; $proof$ = 
fact3 -> int1: もしも「「あの禿鷲は権利承継人でないかあるいは聴取しないか両方ともだ」ということは偽である」ということは間違いでないならばそうこうしない; int1 -> hypothesis; __PROVED__
事実1: もし仮に「あの禿鷲は権利承継人であるかそれは聴取しないかもしくはどちらもだ」ということは嘘であるならばそれはそうこうしない
事実2: もし「あの禿鷲は権利承継人でないかもしくは聴取しないか両方である」ということは成り立つということはないとしたらそうこうする
事実3: 仮に「何かは権利承継人でないかもしくはそれは聴取しない」ということは間違っているとするとそれはそうこうしない
事実4: 「もしも「権利承継人でないかまたは聴取する」ということは成り立たないならそうこうしない」物はある
事実5: 「「あるものは粒でないかそれは燻り続けるということはない」ということは嘘であるならばそれは苦しみ悩まない」ということは成り立つ
事実6: もし仮にあの禿鷲は運び易いということはないか留意すらないかもしくはどちらもであるとするとそれは幅広くない
事実7: 仮に「ある物は権利承継人でないかあるいは聴取しないかあるいは両方ともだ」ということは成り立たないならそれはそうこうする
事実8: もし仮に「「あの禿鷲はそうこうしないかあるいは通常であるということはないかもしくは両方だ」ということは嘘である」ということは真実だとすると下ろし易い
事実9: 「もしも「権利承継人でないか聴取しないかまたは両方だ」ということは成り立たないとすればそうこうする」ものはある
事実10: 「「なんらかのものは権利承継人でないかそれは聴取するかまたはどちらもだ」ということは成り立たないとするとそうこうするということはない」ということは成り立つ
事実11: 「もし権利承継人だということはないかあるいは聴取しないかもしくは両方ともであるとするとそうこうするということはない」物はある
事実12: 「もし仮に「権利承継人であるかまたは聴取しないかもしくは両方だ」ということは誤りならばそうこうしない」ものはある
事実13: もしもなんらかの物が権利承継人でないかあるいは聴取しないならばそれはそうこうしない
事実14: 仮に「何かは権利承継人であるかあるいはそれは聴取しないかあるいはどちらもである」ということは誤っているとしたらそうこうしない
事実15: 「もし仮に「慙愧でないか自己保身でないか両方である」ということは偽ならコーディネートする」ものはある
事実16: もしもあの禿鷲は権利承継人であるということはないかもしくは聴取しないか両方ともならばそうこうしない
事実17: もし仮に「あの禿鷲は権利承継人でないかもしくは聴取するかあるいはどちらもだ」ということは成り立たないとすると「それはそうこうしない」ということは成り立つ

仮説: 「仮に「権利承継人でないかもしくは聴取しないかあるいは両方ともだ」ということは成り立つということはないなら「そうこうしない」ということは成り立つ」ものはある
1. 事実3から、推論1: "もしも「「あの禿鷲は権利承継人でないかあるいは聴取しないか両方ともだ」ということは偽である」ということは間違いでないならばそうこうしない"が導かれる
2. 推論1から、仮説が導かれる

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