задълбавайки в дебрите на висшата математика стигнах до следните изводи:
обозначаваме Лайка -L , Болонка - B , Смърт - M
и какво имаме
(¬L V ¬B) Э P-> M <-> ЧИСТА ПЛАНЕТА за всяко Li и Bi
тоест за всяко отрицание на лайка и болонка съществува пекинез който да се погрижи за тяхната кончина за да бъде чиста планетата
или с една дума СМЪРТ за болонки и лайки !!!!