Проверьте правильность умозаключений: В вазе лежит только одно яблоко. Известно, что оно или красное, или зеленое. Если это яблоко красное и большое, то оно сладкое. Если же это яблоко зеленое и не сладкое, то оно не большое. Выяснилось, что это яблоко сладкое. Вывод: если это яблоко не большое и не красное, то оно зеленое.