У меня есть логическая головоломка, которую я пытаюсь кодировать: Допустим, у меня есть A > B, C...

Пусть ? (?) - утверждение «? студент», ? (?) - утверждение «professor профессор», а ? (?, ?) -...