Предположим, что справедливы следующие утверждения: а) Среди людей, имеющих обезьянок, есть такие, которые не являются спелеологами. б) Люди, выращивающие кактусы, но не являющиеся спелеологами, не имеют обезьянок. Верно ли тогда, что не все владельцы обезьянок разводят кактусы?

Да, верно!Т.к. среди владельцев обезьян есть "неспелеологи" . А если ты "неспелеолог" и у тебя есть обезьяна, то ты точно не выращиваешь кактусы. Этого достаточно, потому что утверждение "не все владельцы" говорит о том, что их может быть некоторое количество или вообще не быть.