1. Противоречие про цвет: цвет желтый - цвет синий.
Я не логик, вроде бы это случай контрарности?

Некоторое время назад Александром Болдачёвым (boldachev) было введено понятие локальной контрадикторности предикатов, в отличие от абсолютной контрадикторности: «Абсолютно контрадикторными следует считать такую пару предикатов, для которой предложения, образованные приписыванием их одному логическому субъекту, подчиняются закону исключенного третьего всегда и везде на любом множестве логических субъектов.