Use logic with quantifiers and predicates to model the following three statements:

All students are taking classes. Some students are not motivated. Some people taking classes are not motivated.

Prove, using resolution methods, that the third statement follows logically from the first two. (Reminder: You must take the conjunction of the first two statements and the negation of the third, and derive a contradiction.)