Является ли условным оператором следующая последовательность символов : if x>13 then y:= x+13 else y:= x-13

пишу на python

n, m = map(int, input().split())  #считываю n,m в одну строку

matrix = []  # создаю пустой лист

for i in range(n):  # вхожу в цикл для заполнения

        matrix.append(list(map(int, input().split(  # заполняю построчно

myMax = matrix[0][0]  # создаю переменную куда кладу значения матрицы с индексами 0,0

for i in range(n):  # прохожу по строкам

        for j in range(m):  # прохожу по столбикам

                 if myMax < matrix[i][j]:  #если значение взятое из матрицы с индексами i,j больше myMax

                          myMax = matrix[i][j] # присвоить myMax это значение

print("max=" + str(myMax))  # вывести на экран результат

У нас сказано, что только из утверждений могло быть верным.

Если первое утверждение верное (у Ани синяя флешка), то у Маши она не синяя и второе утверждение тоже является истинным - данный вариант. нам не подходит.

Если у Ани красная флешка, то у Маши либо синяя, либо белая, а у Вари либо белая, либо синяя флешка. В одном случае у нас 0 правильных суждений, а во втором - два. Варианты не подходят.

Значит у Ани белая флешка. Поэтому у Вари не белая - данное (3) суждение верное. Если у Вари синяя флешка, то у Маши - красная. Два верных суждения - не подходит. Если у Вари красная, то у Маши - синяя и у нас 1 верное суждение.

Аня - белая флешка

Маша - синяя флешка

Варя - красная флешка