あの交響詩は感じ続けないかまたは抱え込むかもしくは両方だ
fact1: あの交響詩は出現でないか感じ続ける fact2: もし仮になにかは黄色くないとすれば選挙しなくて腎盂でない fact3: もしもなにがしかの物は腎盂でないとすると「そっくり返らないか感じ続けるかあるいは両方である」ということは確かである fact4: あの交響詩は感じ続けるかそれは抱え込む fact5: あの交響詩は感じ続けないかもしくは抱え込むかまたはどちらもである fact6: もしもあるものは腎盂でないならば「感じ続けないかもしくはそれは抱え込むかあるいはどちらもだ」ということは正しくない fact7: もしもあのダスト・ブラザーズが選挙しないしそれが腎盂でないとすればあの交響詩は腎盂でない
fact5 -> hypothesis;
fact5 -> hypothesis;
「あの交響詩は感じ続けないかまたは抱え込むかまたは両方だ」ということは誤りである
fact10 -> int1: 仮に「あの交響詩は腎盂でない」ということは確かであるなら「感じ続けないかあるいは抱え込むかまたはどちらもである」ということは成り立たない; fact9 -> int2: 仮にあのダスト・ブラザーズが黄色いということはないとすればそれは選挙しなくてそれは腎盂でない;
$facts$ = fact1: あの交響詩は出現でないか感じ続ける fact2: もし仮になにかは黄色くないとすれば選挙しなくて腎盂でない fact3: もしもなにがしかの物は腎盂でないとすると「そっくり返らないか感じ続けるかあるいは両方である」ということは確かである fact4: あの交響詩は感じ続けるかそれは抱え込む fact5: あの交響詩は感じ続けないかもしくは抱え込むかまたはどちらもである fact6: もしもあるものは腎盂でないならば「感じ続けないかもしくはそれは抱え込むかあるいはどちらもだ」ということは正しくない fact7: もしもあのダスト・ブラザーズが選挙しないしそれが腎盂でないとすればあの交響詩は腎盂でない ; $hypothesis$ = あの交響詩は感じ続けないかまたは抱え込むかもしくは両方だ ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: あの交響詩は出現でないか感じ続ける
事実2: もし仮になにかは黄色くないとすれば選挙しなくて腎盂でない
事実3: もしもなにがしかの物は腎盂でないとすると「そっくり返らないか感じ続けるかあるいは両方である」ということは確かである
事実4: あの交響詩は感じ続けるかそれは抱え込む
事実5: あの交響詩は感じ続けないかもしくは抱え込むかまたはどちらもである
事実6: もしもあるものは腎盂でないならば「感じ続けないかもしくはそれは抱え込むかあるいはどちらもだ」ということは正しくない
事実7: もしもあのダスト・ブラザーズが選挙しないしそれが腎盂でないとすればあの交響詩は腎盂でない

仮説: あの交響詩は感じ続けないかまたは抱え込むかもしくは両方だ
1. 事実5から、仮説が導かれる

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