「もしもこのＫＩＮＤがコンタクトしないがしかし問い返すとしたらこのＫＩＮＤは御詳しいということはない」ということは成り立たない
fact1: もしある物はコンタクトしないけど問い返すとすれば「御詳しいということはない」ということは成り立つ
$facts$ = fact1: もしある物はコンタクトしないけど問い返すとすれば「御詳しいということはない」ということは成り立つ ; $hypothesis$ = 「もしもこのＫＩＮＤがコンタクトしないがしかし問い返すとしたらこのＫＩＮＤは御詳しいということはない」ということは成り立たない ; $proof$ = 
事実1: もしある物はコンタクトしないけど問い返すとすれば「御詳しいということはない」ということは成り立つ

仮説: 「もしもこのＫＩＮＤがコンタクトしないがしかし問い返すとしたらこのＫＩＮＤは御詳しいということはない」ということは成り立たない