Zaslat SMS: Логический анализ практических рассуждений (формализация психологических понятий)