「「「「用心するが気忙しくない」ということは間違いでない」ということは事実と異なれば詮無い」ものはある」ということは間違っている
fact1: もし「その文字列検索は用心する一方で気忙しいということはない」ということは間違っているとすれば詮無い
$facts$ = fact1: もし「その文字列検索は用心する一方で気忙しいということはない」ということは間違っているとすれば詮無い ; $hypothesis$ = 「「「「用心するが気忙しくない」ということは間違いでない」ということは事実と異なれば詮無い」ものはある」ということは間違っている ; $proof$ = 
事実1: もし「その文字列検索は用心する一方で気忙しいということはない」ということは間違っているとすれば詮無い

仮説: 「「「「用心するが気忙しくない」ということは間違いでない」ということは事実と異なれば詮無い」ものはある」ということは間違っている