Это не совсем формальная логика, но её элементы там присутствуют. Давай рассуждать так.

Не ошибается ТОЛЬКО то, кто ничего не делает = кто делает, тот ошибается.

На ошибках учатся.
Отсюда, кто что-то делает - учится.
Учение свет.

Отсюда, кто что-то делает --> свет :)))

Т.е. ТОЛЬКО тот кто НЕ делает - НЕ свет (потёмки=не свет).
Вариант № 2 самый правильный.

Разобрались?