「もしも「隙間無くなくてかつ使用し易いということはない」ということは真実だということはないとするとＫオンである」物はある
fact1: 「仮に「あの入水は隙間無くなくてしかも使用し易くない」ということは成り立たないとすればあの入水はＫオンである」ということは本当である
$facts$ = fact1: 「仮に「あの入水は隙間無くなくてしかも使用し易くない」ということは成り立たないとすればあの入水はＫオンである」ということは本当である ; $hypothesis$ = 「もしも「隙間無くなくてかつ使用し易いということはない」ということは真実だということはないとするとＫオンである」物はある ; $proof$ = 
事実1: 「仮に「あの入水は隙間無くなくてしかも使用し易くない」ということは成り立たないとすればあの入水はＫオンである」ということは本当である

仮説: 「もしも「隙間無くなくてかつ使用し易いということはない」ということは真実だということはないとするとＫオンである」物はある