این سوال اگه درست گفته باشم از دسته سوالات منطق تو هوش مصنوعی هست که در زیردسته مبحث reasoning قرار داره . باید تک تک جمله ها رو به شکل گزاره ی منطقی نوشت و اونها رو به فرم کلاز (Cluse) یا (CNF) درآورد و در آخر با یه تاتالوژی (جمع نقیضین) به جواب هر خونه رسید . البته ظاهرا خیلی زمان بر هست و...