Юридическое
Дано:
1. Фирма SCO продала фирмам Sun и Microsoft права на использование всех кусков Unix и Unixware, содержащихся в операционной системе Linux и получила несколько миллионов долларов.
2. Права на Unixware действительно принадлежат фирме SCO.
3. Права на Unix, как оказалось, принадлежат фирме Novell.
4. Фирма Novell потребовала от фирмы SCO отдать её деньги, полученные от продажи принадлежащих ей прав на Unix.
5. В операционной системе Linux не содержится никаких кусков Unix.
6. В операционной системе Linux не содержится никаких кусков Unixware.

Требуется определить, какая доля из денег, полученных фирмой SCO в этой сделке, была получена за права на Unix (и должна быть передана фирме Novell), а какая была получена за права на Unixware (и должна остаться у фирмы SCO).

Именно такую задачу решает сейчас суд в США.