Elucidation of Logical Rules in Explanation of the Shamsiyya Treatise