「その対応キャリアは癒し難くないかあるいは漏れ易いかあるいは両方ともである」ということは偽だ
fact1: 「その対応キャリアは育ち難くないかもしくは弱体化するか両方ともである」ということは成り立たない fact2: もし仮に「打ち難くない」物はあれば「その対応キャリアは癒し難くないか漏れ易いかもしくはどちらもである」ということは嘘だ fact3: 何かは打ち難くない fact4: その対応キャリアは親し fact5: 「「打ち難い」ということは成り立つ」ものはある fact6: 仮に何かは打ち難いとしたら癒し難くないかもしくは漏れ易いか両方である fact7: もし仮に他流は限り無しということはないなら「それは打ち難い」ということは正しい
fact3 & fact2 -> hypothesis;
fact3 & fact2 -> hypothesis;
その対応キャリアは癒し難くないかもしくは漏れ易いかあるいは両方だ
fact9 -> int1: 仮にその七十人が打ち難いとすればそれは癒し難くないかまたは漏れ易いか両方である; fact8 -> int2: もし仮にその七十人が他流だがそれが限り無しないとするとそれは打ち難い;
$facts$ = fact1: 「その対応キャリアは育ち難くないかもしくは弱体化するか両方ともである」ということは成り立たない fact2: もし仮に「打ち難くない」物はあれば「その対応キャリアは癒し難くないか漏れ易いかもしくはどちらもである」ということは嘘だ fact3: 何かは打ち難くない fact4: その対応キャリアは親し fact5: 「「打ち難い」ということは成り立つ」ものはある fact6: 仮に何かは打ち難いとしたら癒し難くないかもしくは漏れ易いか両方である fact7: もし仮に他流は限り無しということはないなら「それは打ち難い」ということは正しい ; $hypothesis$ = 「その対応キャリアは癒し難くないかあるいは漏れ易いかあるいは両方ともである」ということは偽だ ; $proof$ = 
fact3 & fact2 -> hypothesis; __PROVED__
事実1: 「その対応キャリアは育ち難くないかもしくは弱体化するか両方ともである」ということは成り立たない
事実2: もし仮に「打ち難くない」物はあれば「その対応キャリアは癒し難くないか漏れ易いかもしくはどちらもである」ということは嘘だ
事実3: 何かは打ち難くない
事実4: その対応キャリアは親し
事実5: 「「打ち難い」ということは成り立つ」ものはある
事実6: 仮に何かは打ち難いとしたら癒し難くないかもしくは漏れ易いか両方である
事実7: もし仮に他流は限り無しということはないなら「それは打ち難い」ということは正しい

仮説: 「その対応キャリアは癒し難くないかあるいは漏れ易いかあるいは両方ともである」ということは偽だ
1. 事実3と事実2から、仮説が導かれる

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