その末子は受け取り配当等だ
fact1: もし何らかの物は処理し切れないならば「受け取り配当等でないがしかし切り詰める」ということは成り立たない fact2: もしも「その改変は処理し切れるけれど切り詰めない」ということは嘘であるならその末子は処理し切れない fact3: その末子は受け取り配当等だ fact4: もしなんらかのものは処理し切れないとすると受け取り配当等でない fact5: とある物が乗り合わせるとすれば処理し切れないしＰＢでない fact6: その片隅は受け取り配当等である fact7: もし「その末子は受け取り配当等でないが切り詰める」ということは間違いだとしたらあのサイフォンは受け取り配当等だ fact8: もしも「とある物は近しくないかブログページであるかまたは両方ともだ」ということは間違っているとすれば「それは乗り合わせる」ということは真実である
fact3 -> hypothesis;
あのサイフォンは受け取り配当等である
fact11 -> int1: もし仮にその末子は処理し切れないとすると「それは受け取り配当等でないが切り詰める」ということは成り立たない; fact9 -> int2: もしも「その末子は乗り合わせる」ということは嘘でないとしたらそれは処理し切れないしＰＢでない; fact10 -> int3: 「その末子は近しくないかもしくはブログページであるかまたはどちらもだ」ということは偽だとしたら乗り合わせる;
$facts$ = fact1: もし何らかの物は処理し切れないならば「受け取り配当等でないがしかし切り詰める」ということは成り立たない fact2: もしも「その改変は処理し切れるけれど切り詰めない」ということは嘘であるならその末子は処理し切れない fact3: その末子は受け取り配当等だ fact4: もしなんらかのものは処理し切れないとすると受け取り配当等でない fact5: とある物が乗り合わせるとすれば処理し切れないしＰＢでない fact6: その片隅は受け取り配当等である fact7: もし「その末子は受け取り配当等でないが切り詰める」ということは間違いだとしたらあのサイフォンは受け取り配当等だ fact8: もしも「とある物は近しくないかブログページであるかまたは両方ともだ」ということは間違っているとすれば「それは乗り合わせる」ということは真実である ; $hypothesis$ = その末子は受け取り配当等だ ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もし何らかの物は処理し切れないならば「受け取り配当等でないがしかし切り詰める」ということは成り立たない
事実2: もしも「その改変は処理し切れるけれど切り詰めない」ということは嘘であるならその末子は処理し切れない
事実3: その末子は受け取り配当等だ
事実4: もしなんらかのものは処理し切れないとすると受け取り配当等でない
事実5: とある物が乗り合わせるとすれば処理し切れないしＰＢでない
事実6: その片隅は受け取り配当等である
事実7: もし「その末子は受け取り配当等でないが切り詰める」ということは間違いだとしたらあのサイフォンは受け取り配当等だ
事実8: もしも「とある物は近しくないかブログページであるかまたは両方ともだ」ということは間違っているとすれば「それは乗り合わせる」ということは真実である

仮説: その末子は受け取り配当等だ
1. 事実3から、仮説が導かれる

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