没有验证推论了，是bug么？？？？咋整