「仮にあのサブインタフェースは料理全般であるとすれば「あのサブインタフェースはリニューアルするけど与え続けない」ということは誤りである」ということは誤りである
fact1: もしもなにがしかのものは料理全般ならば「リニューアルするけれど与え続けるということはない」ということは間違っている
$facts$ = fact1: もしもなにがしかのものは料理全般ならば「リニューアルするけれど与え続けるということはない」ということは間違っている ; $hypothesis$ = 「仮にあのサブインタフェースは料理全般であるとすれば「あのサブインタフェースはリニューアルするけど与え続けない」ということは誤りである」ということは誤りである ; $proof$ = 
事実1: もしもなにがしかのものは料理全般ならば「リニューアルするけれど与え続けるということはない」ということは間違っている

仮説: 「仮にあのサブインタフェースは料理全般であるとすれば「あのサブインタフェースはリニューアルするけど与え続けない」ということは誤りである」ということは誤りである