「仮に「歌詞でないかまたは心理学者達でないかどちらもである」ということは間違いなら「変え難くない」ということは正しい」ものはある
fact1: 仮に「この処女作は対局するかあるいはダイヤルしないかもしくは両方ともだ」ということは成り立つということはないとすると述べ伝え為さるということはない fact2: 「歌詞でないか心理学者達でないか両方ともならば「変え難いということはない」ということは事実である」ものはある fact3: 「もし仮に「歌詞でないかあるいは心理学者達でないかまたは両方ともである」ということは成り立たないとすると変え難い」物はある fact4: 仮に「とある物は聞き成れないかまたはそれは変え難くない」ということは間違いだとすればそれはキャプチャでない fact5: 「「座り直さないかあるいは聞き成れないか両方ともである」ということは成り立たないならば脂っぽくない」物はある fact6: もし仮に「この城代は歌詞でないかまたは心理学者達でない」ということは成り立たないとするとそれは変え難くない fact7: もしもこの城代は歌詞だということはないか心理学者達でないかあるいは両方ともであるとすればそれは変え難くない fact8: 「もしも「歌詞であるか心理学者達でないかもしくは両方ともである」ということは間違いだとすると変え難くない」ものはある
fact6 -> hypothesis;
fact6 -> hypothesis;
仮に「あの畳敷きは聞き成れないか変え難くないか両方だ」ということは誤りだとするとキャプチャでない
fact9 -> hypothesis;
$facts$ = fact1: 仮に「この処女作は対局するかあるいはダイヤルしないかもしくは両方ともだ」ということは成り立つということはないとすると述べ伝え為さるということはない fact2: 「歌詞でないか心理学者達でないか両方ともならば「変え難いということはない」ということは事実である」ものはある fact3: 「もし仮に「歌詞でないかあるいは心理学者達でないかまたは両方ともである」ということは成り立たないとすると変え難い」物はある fact4: 仮に「とある物は聞き成れないかまたはそれは変え難くない」ということは間違いだとすればそれはキャプチャでない fact5: 「「座り直さないかあるいは聞き成れないか両方ともである」ということは成り立たないならば脂っぽくない」物はある fact6: もし仮に「この城代は歌詞でないかまたは心理学者達でない」ということは成り立たないとするとそれは変え難くない fact7: もしもこの城代は歌詞だということはないか心理学者達でないかあるいは両方ともであるとすればそれは変え難くない fact8: 「もしも「歌詞であるか心理学者達でないかもしくは両方ともである」ということは間違いだとすると変え難くない」ものはある ; $hypothesis$ = 「仮に「歌詞でないかまたは心理学者達でないかどちらもである」ということは間違いなら「変え難くない」ということは正しい」ものはある ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: 仮に「この処女作は対局するかあるいはダイヤルしないかもしくは両方ともだ」ということは成り立つということはないとすると述べ伝え為さるということはない
事実2: 「歌詞でないか心理学者達でないか両方ともならば「変え難いということはない」ということは事実である」ものはある
事実3: 「もし仮に「歌詞でないかあるいは心理学者達でないかまたは両方ともである」ということは成り立たないとすると変え難い」物はある
事実4: 仮に「とある物は聞き成れないかまたはそれは変え難くない」ということは間違いだとすればそれはキャプチャでない
事実5: 「「座り直さないかあるいは聞き成れないか両方ともである」ということは成り立たないならば脂っぽくない」物はある
事実6: もし仮に「この城代は歌詞でないかまたは心理学者達でない」ということは成り立たないとするとそれは変え難くない
事実7: もしもこの城代は歌詞だということはないか心理学者達でないかあるいは両方ともであるとすればそれは変え難くない
事実8: 「もしも「歌詞であるか心理学者達でないかもしくは両方ともである」ということは間違いだとすると変え難くない」ものはある

仮説: 「仮に「歌詞でないかまたは心理学者達でないかどちらもである」ということは間違いなら「変え難くない」ということは正しい」ものはある
1. 事実6から、仮説が導かれる

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