「もし「その高跳びは吊り下がるけれどそれは根気強くない」ということは成り立たないならその高跳びは制御出来る」ということは成り立つということはない
fact1: もし「とある物は吊り下がるが根気強くない」ということは成り立つということはないとすると「制御出来る」ということは成り立つ
$facts$ = fact1: もし「とある物は吊り下がるが根気強くない」ということは成り立つということはないとすると「制御出来る」ということは成り立つ ; $hypothesis$ = 「もし「その高跳びは吊り下がるけれどそれは根気強くない」ということは成り立たないならその高跳びは制御出来る」ということは成り立つということはない ; $proof$ = 
事実1: もし「とある物は吊り下がるが根気強くない」ということは成り立つということはないとすると「制御出来る」ということは成り立つ

仮説: 「もし「その高跳びは吊り下がるけれどそれは根気強くない」ということは成り立たないならその高跳びは制御出来る」ということは成り立つということはない