「「おっかないかあるいは跳ね上げないかもしくは両方だ」ということは成り立たない」ものはある
fact1: 「「撮み出すかへし折れない」ということは成り立たない」ものはある fact2: 「「有り難しかまたは跳ね上げないかもしくは両方ともだ」ということは間違いである」ものはある fact3: その未熟者は有り難しということはない fact4: もしその未熟者は有り難しないなら「おっかないかあるいはそれは跳ね上げない」ということは事実と異なる fact5: 「有り難し」ものはある fact6: 「有り難しかまたはおっかなくないかまたは両方な」ものはある fact7: なんらかの物は跳ね上げる
fact4 & fact3 -> int1: 「その未熟者はおっかないかあるいは跳ね上げるということはないかまたは両方である」ということは事実と異なる; int1 -> hypothesis;
fact4 & fact3 -> int1: ¬({AA}{a} v ¬{AB}{a}); int1 -> hypothesis;
$facts$ = fact1: 「「撮み出すかへし折れない」ということは成り立たない」ものはある fact2: 「「有り難しかまたは跳ね上げないかもしくは両方ともだ」ということは間違いである」ものはある fact3: その未熟者は有り難しということはない fact4: もしその未熟者は有り難しないなら「おっかないかあるいはそれは跳ね上げない」ということは事実と異なる fact5: 「有り難し」ものはある fact6: 「有り難しかまたはおっかなくないかまたは両方な」ものはある fact7: なんらかの物は跳ね上げる ; $hypothesis$ = 「「おっかないかあるいは跳ね上げないかもしくは両方だ」ということは成り立たない」ものはある ; $proof$ = 
fact4 & fact3 -> int1: 「その未熟者はおっかないかあるいは跳ね上げるということはないかまたは両方である」ということは事実と異なる; int1 -> hypothesis; __PROVED__
事実1: 「「撮み出すかへし折れない」ということは成り立たない」ものはある
事実2: 「「有り難しかまたは跳ね上げないかもしくは両方ともだ」ということは間違いである」ものはある
事実3: その未熟者は有り難しということはない
事実4: もしその未熟者は有り難しないなら「おっかないかあるいはそれは跳ね上げない」ということは事実と異なる
事実5: 「有り難し」ものはある
事実6: 「有り難しかまたはおっかなくないかまたは両方な」ものはある
事実7: なんらかの物は跳ね上げる

仮説: 「「おっかないかあるいは跳ね上げないかもしくは両方だ」ということは成り立たない」ものはある
1. 事実4と事実3から、推論1: "「その未熟者はおっかないかあるいは跳ね上げるということはないかまたは両方である」ということは事実と異なる"が導かれる
2. 推論1から、仮説が導かれる

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