Первое утверждение (Некоторые студенты не являются отличниками) противоречит второму утверждению (Некоторые студенты являются отличниками), так как они исключают друг друга. То есть, они находятся в противоречии между собой.

Второе утверждение (Некоторые лгуны имеют хорошую память) не противоречит первому утверждению (Все лгуны имеют хорошую память), так как второе утверждение шире и включает в себя первое. То есть, они находятся в отношении включения (второе включает первое).