Известны следующие факты. Если кто-то не шлюмбакает, то он не мармаглот. Если кто-то не является мармаглотом, то он не бармаглатик. Как решить логическую задачу?

На основании приведенных фактов, верны только следующие утверждения:

– Ни один мармаглот не является бармаглатиком (утверждение 1). Это следует из второго факта, что некоторые шлюмбакающие – бармаглатики, и предположения, что если кто-то не шлюмбакает, он мармаглот (утверждение 4).
– Некоторые мармаглоты – бармаглатики (утверждение 4). Это прямо следует из второго факта.
– Если кто-то не шлюмбакает, он не мармаглот (утверждение 5). Это также следует из предположения, что кто-то, кто не шлюмбакает, не может быть бармаглатиком, и из первого факта, что такой человек не может быть мармаглотом.
– Если кто-то мармаглот, он не шлюмбакает (утверждение 7). Это следует из обратного рассуждения на основе утверждений 3 и 4.

Остальные утверждения либо противоречат предоставленным фактам, либо следуют из комбинации других верных утверждений.