استخراج ۲ هزار قانون اصلی معتبر از دل ۱۲ هزار قانون