Как решать "логические" задачки такого типа?

У нас есть два утверждения, которые считаются истинными:
1) все попугаи = котлеты (но не все котлеты = попугаи)
2) у каждого джоуля есть 15 трусов.
Самое главное тут - забыть обычный смысл слов, потому что он не важен.
Нам нужно проверить истинность утверждения:
Если (некоторые попугаи куют мармелад) И (у всех попугаев по 15 трусов), То (некоторые джоули куют мармелад).
Проверяемое утверждение - это импликация.
Про то, как попугаи куют мармелад, в первых двух высказываниях ничего не говорится, поэтому просто примем на веру, что оно Истинно.
Про второе высказывание мы кое-что можем сказать.
Если известно, что все джоули имеют по 15 трусов, то это еще не значит, что какой-то объект, тоже имеющий 15 трусов, обязательно джоуль.
Во втором высказывании говорится, что у всех попугаев есть по 15 трусов, но неизвестно, сколько среди попугаев - джоулей.
Может, и ни одного.
Вывод: Истинно ли высказывание (некоторые джоули куют мармелад), мы сказать не можем.
Следовательно, и истинность всего высказывания "Если... То..." тоже остается неизвестной.
Интересно, что первое высказывание "все попугаи котлеты" вообще лишнее.

Целочисленное знаковое значение.
Функция Sign, которая возвращает
–1 — когда значение отрицательное
+1 — когда значение положительное
0 — когда значение = 0

а задачка математическая всё же.
в терминах исчисления предикатов она записывается, если не ошибаюсь, так:
A->B, C->D ⊢ (∃x A(x)->E, A->D) -> (∃x C(x)->E)
а вот как построить для неё дерево секвенций - это я хз.

тут, правда, и без секвенций ответ будет "Нельзя точно сказать", ибо попугаи с джоулями неясно как соотносятся.