Двое жителей — Иван и Кира — говорят: Иван: «Если я рыцарь, то Кира тоже рыцарь». Кира: «Мы с Иваном разных типов». Определите тип каждого.