На чердаке живёт 40 мышек, которые очень любят сыр. Все мышки, которые любят эдам, любят и гауду. Все, кто любит пармезан, любят и чеддер. Мышек, которые любят гауду, и мышек, которые любят чеддер, одинаковое количество. Эдам любит 7 мышек, а пармезан любит 12 мышек. И гауду, и чеддер любят только 4 мышки, при этом одна из них любит ещё и эдам (но не любит пармезан), другая - любит пармезан (но не любит эдам), третья не любит ни эдам, ни пармезан, а четвёртая любит все 4 вида сыра. Сколько мышек любит только чеддер?