その手拳は漏出するかまたは取り始めるということはないかまたは両方である
fact1: その手拳が四十パーセント以上だとすればあの公開前は取り始める fact2: この公開前が四十パーセント以上でないとすればあの手拳は取り始めるかあるいは荷重するかまたは両方である fact3: 仮にこの公開前が四十パーセント以上であるとするとその手拳は漏出する fact4: その深まりは継承すらない fact5: もしその深まりが継承すらないならばあの公開前は荷重するか四十パーセント以上だ fact6: その深まりは取り始める fact7: その支社長は継承すらない fact8: その手拳は漏出するかもしくはそれは取り始めるかまたは両方だ fact9: もしもその手拳が継承すればその深まりは取り始める fact10: 仮に「この公開前は継承すということはない」ということは本当であるならばその手拳は取り始めるかもしくは四十パーセント以上だ fact11: もしも「なにかは継承す」ということは成り立つとすれば「それは漏出するかあるいはそれは取り始めない」ということは間違いである fact12: 「仮にこの公開前が漏出するならその手拳は四十パーセント以上である」ということは成り立つ fact13: その深まりは四十パーセント以上であるかあるいは継承すかまたはどちらもだ fact14: もしもこの公開前は荷重すれば「その手拳は漏出する」ということは本当である
fact5 & fact4 -> int1: この公開前は荷重するかまたは四十パーセント以上であるかまたは両方ともである; int1 & fact14 & fact3 -> int2: その手拳は漏出する; int2 -> hypothesis;
fact5 & fact4 -> int1: ({AA}{b} v {AB}{b}); int1 & fact14 & fact3 -> int2: {B}{c}; int2 -> hypothesis;
「その手拳は漏出するか取り始めないかもしくは両方である」ということは間違っている
fact15 -> int3: もしもその手拳は継承すれば「それは漏出するかあるいは取り始めない」ということは偽である;
$facts$ = fact1: その手拳が四十パーセント以上だとすればあの公開前は取り始める fact2: この公開前が四十パーセント以上でないとすればあの手拳は取り始めるかあるいは荷重するかまたは両方である fact3: 仮にこの公開前が四十パーセント以上であるとするとその手拳は漏出する fact4: その深まりは継承すらない fact5: もしその深まりが継承すらないならばあの公開前は荷重するか四十パーセント以上だ fact6: その深まりは取り始める fact7: その支社長は継承すらない fact8: その手拳は漏出するかもしくはそれは取り始めるかまたは両方だ fact9: もしもその手拳が継承すればその深まりは取り始める fact10: 仮に「この公開前は継承すということはない」ということは本当であるならばその手拳は取り始めるかもしくは四十パーセント以上だ fact11: もしも「なにかは継承す」ということは成り立つとすれば「それは漏出するかあるいはそれは取り始めない」ということは間違いである fact12: 「仮にこの公開前が漏出するならその手拳は四十パーセント以上である」ということは成り立つ fact13: その深まりは四十パーセント以上であるかあるいは継承すかまたはどちらもだ fact14: もしもこの公開前は荷重すれば「その手拳は漏出する」ということは本当である ; $hypothesis$ = その手拳は漏出するかまたは取り始めるということはないかまたは両方である ; $proof$ = 
fact5 & fact4 -> int1: この公開前は荷重するかまたは四十パーセント以上であるかまたは両方ともである; int1 & fact14 & fact3 -> int2: その手拳は漏出する; int2 -> hypothesis; __PROVED__
事実1: その手拳が四十パーセント以上だとすればあの公開前は取り始める
事実2: この公開前が四十パーセント以上でないとすればあの手拳は取り始めるかあるいは荷重するかまたは両方である
事実3: 仮にこの公開前が四十パーセント以上であるとするとその手拳は漏出する
事実4: その深まりは継承すらない
事実5: もしその深まりが継承すらないならばあの公開前は荷重するか四十パーセント以上だ
事実6: その深まりは取り始める
事実7: その支社長は継承すらない
事実8: その手拳は漏出するかもしくはそれは取り始めるかまたは両方だ
事実9: もしもその手拳が継承すればその深まりは取り始める
事実10: 仮に「この公開前は継承すということはない」ということは本当であるならばその手拳は取り始めるかもしくは四十パーセント以上だ
事実11: もしも「なにかは継承す」ということは成り立つとすれば「それは漏出するかあるいはそれは取り始めない」ということは間違いである
事実12: 「仮にこの公開前が漏出するならその手拳は四十パーセント以上である」ということは成り立つ
事実13: その深まりは四十パーセント以上であるかあるいは継承すかまたはどちらもだ
事実14: もしもこの公開前は荷重すれば「その手拳は漏出する」ということは本当である

仮説: その手拳は漏出するかまたは取り始めるということはないかまたは両方である
1. 事実5と事実4から、推論1: "この公開前は荷重するかまたは四十パーセント以上であるかまたは両方ともである"が導かれる
2. 推論1と事実14と事実3から、推論2: "その手拳は漏出する"が導かれる
3. 推論2から、仮説が導かれる

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