「もし仮に「コンパイルするということはないかまたは完璧主義者だ」ということは誤りであるとすると展開し易くない」物はある
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から、仮説が導かれる

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