Зависает программа после нажатия на кнопку

using System;
using System.Collections.Generic;
using System.ComponentModel;
using System.Data;
using System.Drawing;
using System.Linq;
using System.Text;
using System.Threading.Tasks;
using System.Windows.Forms;
 
namespace _4_лабка
{
    public partial class Form1 : Form
    {
        public Form1()
        {
            InitializeComponent();
        }
 
        private string[,] a = new string[20, 3]; //содержит условную часть правил; 
        private int[] z = new int[20]; //содержит число условий для каждого правила; 
        private string[] b = new string[20]; //содержит заключительную часть правил; 
        private int[] d = new int[20]; //формирует признаки использовано правило или нет; 
        private string[] x = new string[21]; //рабочая память. 
        private int M;
        private void Form1_Load(object sender, EventArgs e)
        {
            int i;
            int j;
            string r;
            for (i = 0; i <= 15; i++)   //очистка массивов
            {
                for (j = 0; j <= 2; j++)
                    a[i, j] = " ";
                d[i] = 0;
            }
 
            a[0, 0] = "жапырақ сарғайса"; //задание условной части правил
            a[1, 0] = "күз келді";
            a[2, 0] = "жаңбыр жауды";
            a[3, 0] = "дала суық";
            a[4, 0] = "жылы киіну";
            a[5, 0] = "шапка кию";
            a[6, 0] = "пуховик жылы";
            a[7, 0] = "пуховик жылы";
            a[8, 0] = "ботинки кию";
            a[9, 0] = "пуховиктін капюшоны бар";
            a[10, 0] = "шапка кию";
            a[11, 0] = "пальто кию";
            a[12, 0] = "ботинки кию";
            a[13, 0] = "жылы ботинки емес";
            a[14, 0] = "далада көп жүруге болмайды";
            a[15, 0] = "далада көп жүруге болмайды";
            a[5, 1] = "пуховик кию";
            a[7, 1] = "пуховиктін капюшоны бар";
            a[9, 1] = "су откізбейтін ботинки";
            a[10, 1] = "пальто кию";
            a[11, 1] = "шарф тағу";
            a[15, 1] = "үйде отыру";
 
            b[0] = "күз келді"; //задание заключительной части правил
            b[1] = "жаңбыр жауды";
            b[2] = "дала суық";
            b[3] = "жылы киіну";
            b[4] = "шапка кию";
            b[5] = "пуховик жылы";
            b[6] = "пуховиктін капюшоны бар";
            b[7] = "ботинки кию";
            b[8] = "су откізбейтін ботинки";
            b[9] = "жылы болады";
            b[10] = "шарф тағу";
            b[11] = "ботинки кию";
            b[12] = "жылы ботинки емес";
            b[13] = "далада көп жүруге болмайды";
            b[14] = "үйде отыру";
            b[15] = "сабақ жасау";
 
            z[0] = 1; //число условий в условной части правил
            z[1] = 1;
            z[2] = 1;
            z[3] = 1;
            z[4] = 1;
            z[5] = 2;
            z[6] = 1;
            z[7] = 2;
            z[8] = 1;
            z[9] = 2;
            z[10] = 2;
            z[11] = 2;
            z[12] = 1;
            z[13] = 1;
            z[14] = 1;
            z[15] = 2;
 
            for (i = 0; i <= 15; i++)       //формирование правил
            {
                r = " ";
                r = r + "ЕГЕР ";
                var loopTo = z[i] - 1;
                for (j = 0; j <= loopTo; j++)
                {
                    if (j < z[i] - 1)
                    {
                        r = r + a[i, j] + " ЖӘНЕ ";
                    }
                    else
                    {
                        r = r + a[i, j];
                    }
                }
 
                r = r + "  ОНДА  " + b[i];
                listBox2.Items.Add(r); //отображение правила в listBox2 
            }
        }
 
        private void button1_Click(object sender, EventArgs e)
        {
            int k1;
            int i;
            int k2;
            int k3;
            int j;
            var N = default(int);
            var r = default(string);
            x[0] = textBox6.Text;  //1-ое исходное данное в РП
            M = 0;
            listBox1.Items.Add(x[0]);
            if (checkBox1.Checked == true)   //2-ое исходное данное в РП
            {
                M = M + 1;
                x[M] = checkBox1.Capture.ToString();
                listBox1.Items.Add(x[M]);
                N = 10;       //количество правил для первого набора данных 
                for (i = 10; i <= 15; i++)
                    d[i] = 1;   //отметка для неиспользуемых правил
            }
 
            if (checkBox2.Checked == true)   //2-ое исходное данное в РП
            {
                M = M + 1;
                x[M] = checkBox2.Capture.ToString();
                listBox1.Items.Add(x[M]);
                N = 11;  //количество правил для второго набора данных 
                for (i = 5; i <= 9; i++)
                    d[i] = 1;  //отметка для неиспользуемых правил
            }
 
            k3 = 0;
        aa:
            ;
            //очередная итерация
            for (i = 0; i <= 15; i++)      //цикл для обработки условной части правил
            {
                if (d[i] == 0)
                {
                    k2 = 0;
                    var loopTo = z[i] - 1;
                    for (j = 0; j <= loopTo; j++)
                    {
                        k1 = 0;
                        for (int k = 0, loopTo1 = M; k <= loopTo1; k++) // ‘ цикл для работы с РП
                        {
                            if (a[i, j] == x[k])  //проверка – есть ли условная часть правила в РП
                            {
                                k1 = k1 + 1;
                                k2 = k2 + 1;
                                k = M + 1;
                            }
                        }
 
                        if (k1 == 0)  //проверка - правило неистинно?
                        {
                            j = z[i];
                        }
                        else if (k1 == 1 & k2 == z[i])  //все условия правила есть в РП
                        {
                            k3 = k3 + 1;
                            if (k3 < N)   //проверка – все ли правила использованы
                            {
                                M = M + 1;
                                x[M] = b[i];   //занесение заключительной части правила в РП
                                listBox1.Items.Add(x[M]);
                                d[i] = 1;
                            }
                            else
                            {
                                r = b[i];
                            }   //запоминание заключительной части правила
                        }
                    }
                }
            }
 
            if (k3 < N)  //проверка – все ли правила использованы
            {
                goto aa;   //возврат на очередную итерацию
            }
            else
            {
                textBox4.Text = r;
            } //решение
        }
    }
 }