無限ループからぬけ出せない

Question

構文は間違っていないはずなのにwhile文から抜け出せなくなり無限ループしてしまいます。
なぜでしょうか？

def rule1(word_list, v):
    return v in word_list

def rule2(v, before_word, pass_rule2):
    return pass_rule2 or before_word[-1] == log[0]

def rule3(current_log, v):
    return not v in current_log

def rule4(v):
    return v[-1] != "z"

n, k, m = map(int, input().split())
word_list = []
log = []

for _ in range(k):
    word_list.append(input())

for _ in range(m):
    log.append(input())

alive = [True] * n
current_log = []

now_number = 0
pass_rule2 = True
for i, v in enumerate(log):
    
    # ここから抜け出せなくなる
    while True:
        if now_number >= len(alive):
            now_number = 0
        if alive[now_number]:
            break
        now_number += 1
    
    if rule1(word_list, v) and rule2(v, log[i-1], pass_rule2) and rule3(current_log, v) and rule4(v):
        pass_rule2 = False
    else:
        alive[now_number] = False
        pass_rule2 = True

    current_log.append(v)
    now_number += 1

print(sum(alive))
for i, v in enumerate(alive, start=1):
    if v:
        print(i)

Answer 1

アルゴリズムがおかしいからです。

なお、渡すデータ如何ではプログラムは正常に終了します。
ちゃんと検証してから質問した方が良いです。
もし検証した上で質問しているとしたら提供する情報が足りません。

また根本的な話ですが、
なぜ無限ループになるかの原因を論理的に考えるべきです。
本件、あまりにも原因が明確なので、自身で考える前に質問したのだろうと思います。

構文云々は関係ないです。
構文がおかしければ多分エラーになるでしょう。

一見すれば分かることですが、
無限ループになる条件はただ一つ。

「alive のすべての要素が False になる」

だけです。
逆にそれ以外の要因が考慮されないので、
すぐに原因は分かるはずですが。

例えば、
3 3 3
a
b
c
1
2
3
のデータを渡したときは正常にプログラムが終了します。

しかし、
2 3 3
a
b
c
1
2
3
のデータを渡したときは無限ループに陥ります。

分かりやすい例を挙げたつもりですので、
上記2つのサンプルで検証すれば無限ループの原因は分かると思います。