「仮に「あの二Ｋは狙い難いということはないかもしくは使えないかあるいは両方だ」ということは偽ならば「あの二Ｋは通学出来ない」ということは正しい」ということは嘘である
fact1: 仮に「何らかの物は狙い難くないかまたは使えない」ということは成り立つということはないとすれば通学出来ない
$facts$ = fact1: 仮に「何らかの物は狙い難くないかまたは使えない」ということは成り立つということはないとすれば通学出来ない ; $hypothesis$ = 「仮に「あの二Ｋは狙い難いということはないかもしくは使えないかあるいは両方だ」ということは偽ならば「あの二Ｋは通学出来ない」ということは正しい」ということは嘘である ; $proof$ = 
事実1: 仮に「何らかの物は狙い難くないかまたは使えない」ということは成り立つということはないとすれば通学出来ない

仮説: 「仮に「あの二Ｋは狙い難いということはないかもしくは使えないかあるいは両方だ」ということは偽ならば「あの二Ｋは通学出来ない」ということは正しい」ということは嘘である