そのＬ点は堪え難いということはない
fact1: 何らかのものは詮無いかもしくは給油しないかもしくは両方ともだとすれば詮無い fact2: この山川は長ったらしい fact3: もし仮にこの山川が長ったらしいならその分割相続は大差無い fact4: その分割相続は海盆だということはない fact5: もしこの山川がスーパークラスでないならばそのＬ点は堪え難いかもしくはそれは大差無い fact6: もし仮にあるものは濡れないとしたら「それは走り切らなくてその上比較出来る」ということは本当でない fact7: あの金利引き下げ前は堪え難い fact8: 仮にその分割相続が大差無いならばそのＬ点は堪え難くない fact9: そのＬ点は大差無い fact10: もし仮にその分割相続は海盆でないけれど詮無いならそれはか細くない fact11: 仮にその分割相続はか細くないならば「この山川は濡れないけれど事務事業である」ということは成り立たない fact12: スーパークラスは大差無いかあるいは長ったらしくないかもしくはどちらもだ fact13: 仮にその分割相続がか細いけれど事務事業でないとしたらこの山川は濡れない fact14: 「何らかの物は走り切らない一方で比較出来る」ということは嘘であるならそれはスーパークラスでない fact15: 「この山川は濡れないがそれは事務事業である」ということは誤りならば比較出来る fact16: なにかは比較出来るとしたらそれは走り切る fact17: 「もしこの山川が走り切るとすればそのＬ点はスーパークラスである」ということは正しい fact18: もしこの山川が大差無いということはないとすればそのＬ点は堪え難いし長ったらしい fact19: もしとあるものが走り切るとすれば大差無いがスーパークラスだということはない
fact3 & fact2 -> int1: その分割相続は大差無い; int1 & fact8 -> hypothesis;
fact3 & fact2 -> int1: {B}{b}; int1 & fact8 -> hypothesis;
「そのＬ点は堪え難い」ということは成り立つ
fact27 -> int2: もしもそのＬ点がスーパークラスであるとするとそれは大差無いかもしくはそれは長ったらしくないかもしくは両方だ; fact26 -> int3: この山川が比較出来るとすれば走り切る; fact22 -> int4: もし仮にその分割相続は詮無いかもしくは給油するということはないかあるいは両方ともであるならばそれは詮無い;
$facts$ = fact1: 何らかのものは詮無いかもしくは給油しないかもしくは両方ともだとすれば詮無い fact2: この山川は長ったらしい fact3: もし仮にこの山川が長ったらしいならその分割相続は大差無い fact4: その分割相続は海盆だということはない fact5: もしこの山川がスーパークラスでないならばそのＬ点は堪え難いかもしくはそれは大差無い fact6: もし仮にあるものは濡れないとしたら「それは走り切らなくてその上比較出来る」ということは本当でない fact7: あの金利引き下げ前は堪え難い fact8: 仮にその分割相続が大差無いならばそのＬ点は堪え難くない fact9: そのＬ点は大差無い fact10: もし仮にその分割相続は海盆でないけれど詮無いならそれはか細くない fact11: 仮にその分割相続はか細くないならば「この山川は濡れないけれど事務事業である」ということは成り立たない fact12: スーパークラスは大差無いかあるいは長ったらしくないかもしくはどちらもだ fact13: 仮にその分割相続がか細いけれど事務事業でないとしたらこの山川は濡れない fact14: 「何らかの物は走り切らない一方で比較出来る」ということは嘘であるならそれはスーパークラスでない fact15: 「この山川は濡れないがそれは事務事業である」ということは誤りならば比較出来る fact16: なにかは比較出来るとしたらそれは走り切る fact17: 「もしこの山川が走り切るとすればそのＬ点はスーパークラスである」ということは正しい fact18: もしこの山川が大差無いということはないとすればそのＬ点は堪え難いし長ったらしい fact19: もしとあるものが走り切るとすれば大差無いがスーパークラスだということはない ; $hypothesis$ = そのＬ点は堪え難いということはない ; $proof$ = 
fact3 & fact2 -> int1: その分割相続は大差無い; int1 & fact8 -> hypothesis; __PROVED__
事実1: 何らかのものは詮無いかもしくは給油しないかもしくは両方ともだとすれば詮無い
事実2: この山川は長ったらしい
事実3: もし仮にこの山川が長ったらしいならその分割相続は大差無い
事実4: その分割相続は海盆だということはない
事実5: もしこの山川がスーパークラスでないならばそのＬ点は堪え難いかもしくはそれは大差無い
事実6: もし仮にあるものは濡れないとしたら「それは走り切らなくてその上比較出来る」ということは本当でない
事実7: あの金利引き下げ前は堪え難い
事実8: 仮にその分割相続が大差無いならばそのＬ点は堪え難くない
事実9: そのＬ点は大差無い
事実10: もし仮にその分割相続は海盆でないけれど詮無いならそれはか細くない
事実11: 仮にその分割相続はか細くないならば「この山川は濡れないけれど事務事業である」ということは成り立たない
事実12: スーパークラスは大差無いかあるいは長ったらしくないかもしくはどちらもだ
事実13: 仮にその分割相続がか細いけれど事務事業でないとしたらこの山川は濡れない
事実14: 「何らかの物は走り切らない一方で比較出来る」ということは嘘であるならそれはスーパークラスでない
事実15: 「この山川は濡れないがそれは事務事業である」ということは誤りならば比較出来る
事実16: なにかは比較出来るとしたらそれは走り切る
事実17: 「もしこの山川が走り切るとすればそのＬ点はスーパークラスである」ということは正しい
事実18: もしこの山川が大差無いということはないとすればそのＬ点は堪え難いし長ったらしい
事実19: もしとあるものが走り切るとすれば大差無いがスーパークラスだということはない

仮説: そのＬ点は堪え難いということはない
1. 事実3と事実2から、推論1: "その分割相続は大差無い"が導かれる
2. 推論1と事実8から、仮説が導かれる

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