そのバイナリアクセスは陣没する
fact1: もしも「あの越後兵は馳せるし陣没する」ということは事実と異なるとしたらあのザ・ハウス・パレスサイドは陣没しない fact2: あのザ・ハウス・パレスサイドは陣没しないとすると「そのバイナリアクセスは陣没しない」ということは成り立つ fact3: もしも何かは祭り上げるならそれは思い出深くない一方で止めど無い fact4: もし仮に「思い出深いということはなくて馳せない」ものはあれば「そのバイナリアクセスは陣没する」ということは確かである fact5: もしその二十五年以上は思い出深いということはないとしたら「あの越後兵は馳せるし陣没する」ということは成り立たない fact6: 首尾良い物は散らかすか鯰でない fact7: 「思い出深くなくてかつ馳せるということはない」ものはある fact8: もし仮に何かは散らかすかまたは鯰でないかまたは両方だとしたら「それは祭り上げる」ということは成り立つ
fact7 & fact4 -> hypothesis;
fact7 & fact4 -> hypothesis;
そのバイナリアクセスは陣没しない
fact11 -> int1: もしその二十五年以上が祭り上げるとするとそれは思い出深いということはないがしかし止めど無い; fact14 -> int2: その二十五年以上が散らかすかもしくはそれは鯰でないならばそれは祭り上げる; fact12 -> int3: もし仮にその二十五年以上が首尾良いならば散らかすかまたはそれは鯰でないかあるいは両方である;
$facts$ = fact1: もしも「あの越後兵は馳せるし陣没する」ということは事実と異なるとしたらあのザ・ハウス・パレスサイドは陣没しない fact2: あのザ・ハウス・パレスサイドは陣没しないとすると「そのバイナリアクセスは陣没しない」ということは成り立つ fact3: もしも何かは祭り上げるならそれは思い出深くない一方で止めど無い fact4: もし仮に「思い出深いということはなくて馳せない」ものはあれば「そのバイナリアクセスは陣没する」ということは確かである fact5: もしその二十五年以上は思い出深いということはないとしたら「あの越後兵は馳せるし陣没する」ということは成り立たない fact6: 首尾良い物は散らかすか鯰でない fact7: 「思い出深くなくてかつ馳せるということはない」ものはある fact8: もし仮に何かは散らかすかまたは鯰でないかまたは両方だとしたら「それは祭り上げる」ということは成り立つ ; $hypothesis$ = そのバイナリアクセスは陣没する ; $proof$ = 
fact7 & fact4 -> hypothesis; __PROVED__
事実1: もしも「あの越後兵は馳せるし陣没する」ということは事実と異なるとしたらあのザ・ハウス・パレスサイドは陣没しない
事実2: あのザ・ハウス・パレスサイドは陣没しないとすると「そのバイナリアクセスは陣没しない」ということは成り立つ
事実3: もしも何かは祭り上げるならそれは思い出深くない一方で止めど無い
事実4: もし仮に「思い出深いということはなくて馳せない」ものはあれば「そのバイナリアクセスは陣没する」ということは確かである
事実5: もしその二十五年以上は思い出深いということはないとしたら「あの越後兵は馳せるし陣没する」ということは成り立たない
事実6: 首尾良い物は散らかすか鯰でない
事実7: 「思い出深くなくてかつ馳せるということはない」ものはある
事実8: もし仮に何かは散らかすかまたは鯰でないかまたは両方だとしたら「それは祭り上げる」ということは成り立つ

仮説: そのバイナリアクセスは陣没する
1. 事実7と事実4から、仮説が導かれる

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