так как я понимаю с помощью дедукции я вычислил что софья