Next-generation reasoning model complex logical deduction performance