「もし「「あのタイムズ・スクエアは握り易いし薄地だ」ということは間違っていない」ということは事実と異なるとするとあのタイムズ・スクエアは転び易くない」ということは確かだということはない
fact1: もし「なにがしかの物は握り易くて薄地である」ということは成り立たないならそれは転び易くない
$facts$ = fact1: もし「なにがしかの物は握り易くて薄地である」ということは成り立たないならそれは転び易くない ; $hypothesis$ = 「もし「「あのタイムズ・スクエアは握り易いし薄地だ」ということは間違っていない」ということは事実と異なるとするとあのタイムズ・スクエアは転び易くない」ということは確かだということはない ; $proof$ = 
事実1: もし「なにがしかの物は握り易くて薄地である」ということは成り立たないならそれは転び易くない

仮説: 「もし「「あのタイムズ・スクエアは握り易いし薄地だ」ということは間違っていない」ということは事実と異なるとするとあのタイムズ・スクエアは転び易くない」ということは確かだということはない