Придумайте по данной модели x=y; a=2b

из условия ясно, что правдивые гномы могут любить только сливочное мороженое, а лживые — только шоколадное или фруктовое. именно поэтому все гномы сказали, что любят сливочное.

правдивый — любит только сливочное, признает это, а про остальные сорта говорит, что не любит. лживый гном, который любит шоколадное мороженое, скажет «нет» в ответ на второй вопрос, и «да» — в ответ на третий. если же лживый гном любит фруктовое, то он ответит «да» на вопрос про шоколадное, и «нет» — про фруктовое.

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