heaven_rover, первый посыл -- это не пророчество -- это импликация, которая ложна только когда из истины следует ложь
решение:
если А ложно, то D - генерал, но D - истинно - противоречие

=> А истинно

если A министр, то С - президент, B ложно => B - дипломат, D - генерал, опять противоречие

, либо
B - генерал, тогда D - дипломат -- и опять противоречие

=> А - президент, а С - ложно

если С - дипломат, то B - министр, D - генерал, но опять D - истинно - противоречие

=> C - генерал, тогда D - министр, а B - дипломат
