Наиболее подходящей формализацией предложения "Всякий, кто любит Джейн, несчастен" является формула*...* - предикат "Lx, y" = "Х любит Y-ка"

К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.