смотрите, у нас есть условия. и  мы  можем выбирать те варианты, которые  являются следствием этого условия. Т.е. если нам неизвестно, существуют ли шакалы со здоровой мухропендией, мы не можем утверждать что они сущствуют. Мы точно знаем только то, что существуют шакалы с больной мухропендией. Поэтому верно только первое выражение.