Начинаем анализ с уточнения информации.

Какое действие необходимо совершить? – Поймать мышь Кто (что) должен её ловить? – Стакан.

Стакан – субъект – инструмент. Тогда мышь – объект – изделие.

Фраза «СТАКАН ДОЛЖЕН ПОЙМАТЬ МЫШЬ» не содержит противоречия. Генрих Саулович Альтшуллер назвал команды такого типа административными противоречиями. Противоречие найдём (сформулируем) тогда, когда поймём, что именно в процессе ловли получается, а что не получается вовсе. И поэтому выходит, что просто так эту мышь не поймать, надо что-то придумывать. Бегать за мышью со стаканом не будем, но плавленым сыром донышко внутри можно помазать.

Появляется некоторая определённость. Стакан стоит на столе. Мышь пришла, влезла в стакан, съела сыр и ушла. Стакан её НЕ УДЕРЖАЛ. Вот мы и заметили недостаток стакана: он не умеет удерживать мышь. А что он хорошо делает? он привлекает мышь запахом сыра, РАЗРЕШАЕТ В СЕБЯ ВЛЕЗТЬ. Создаём проект пары противоречий:

ПТ1: открытый стакан впускает мышь, но не удерживает его.

ПТ2: Закрытый стакан не впускает мышь, но удерживает его.

Этапы составления формулировки противоречия свойств (ФП)

Какой недостаток необходимо устранить? – Не удерживание мыши.

Какое подходит свойство? – Закрытый.

А какое противоположное свойство? – Открытый.

Нужно ли это противоположное свойство субъекту – стакану, – чтобы он хорошо выполнял своё основное назначение? – чтобы впускал мышь.

Если на 4 пункт получен утвердительный ответ, то развёрнутый ответ по всем 4 пунктам и даст противоречие свойств. Если ответ отрицательный, то ключевые слова, обозначающие «свойство» и «антисвойство» не годятся для этого противоречия. Необходимо искать новые, начиная с 1 пункта.

чтобы стакан удерживал мышь, необходимо, чтобы стакан был закрыт, и открыт, чтобы впустить мышь.

Получено правильное ФП (противоречие свойств), т.к. действительно, для впускания мыши стакан должен быть открыт.

Следует обратить внимание, что ключевые слова в ПС совпали с состояниями инструмента в схеме пары противоречий. Это не случайное совпадение. Всегда, когда решение удаётся выполнить самому субъекту (а не помощнику – икс элементу) так происходит. Это может быть подсказкой при поиске ключевых слов противоречия свойств.

Мы нашли ФП (противоречие свойств) из ТП1, можно аналогично строить ФП из противоречия ТП2: чтобы стакан впускал мышь, необходимо, чтобы он был открыт, и закрыт, чтобы он удерживал мышь.

Действительно, для удержания мыши стакан должен быть закрыт.

Ловля мыши решается двумя различными способами: в первом случае (мини задача) мышь сама вошла в стакан, её там лишь надо удержать, во втором случае надо закрытый стакан открыть, чтобы впустить мышь (макси задача).

В обоих случаях задача решается приёмом «разделение во времени» (правило 2).

Решение мини задачи: стакан на неустойчивой подпорке, мышь жертва своей собственной осторожности – смогла войти, но начав отдирать приманку, ловит сама себя.

Решение макси задачи: вместо стакана глубокая банка (бутылка) без крышки. Мышь прыгает в емкость на запах подсолнечного масла, а вылезти не может из-за отрицательного наклона стенки и скольжения лапок по маслу. Так ловят мышей на клубничных грядках.

Пыль в шахте

Эта задача подробно разобрана здесь в разделе «Задачи» (4.1). Вода нужна для смачивания и осаждения пыли, но не нужна, т.к. под ногами у шахтёра возникает ледяной каток. Проблема «вода нужна – вода не нужна» разрешается физическими эффектами. Утверждать, тем не менее, что здесь реализуется 4 правило, не берусь. Здесь все же разделение в пространстве: под ногами замёрзшая вода не нужна, а у работающего бура вода необходима.