Классическая задача логики заключается в том, что есть предложение из двух частей: одна часть -- правда, другая -- ложь. Задача в том, чтобы доказать, какая часть -- правда, а какая -- ложь с помощью дополнительных данных.

Так вот, задача "Angel innocent" в данном случае абсолютно нелогична, ибо в обеих частях стоит заведомая ложь.