A Respectful Challenge

Sx: x is a student     Ix:  x is intelligent
Tx: x is a teacher    Rxy: x respects y

No intelligent student who respects him or herself will give up on these symbolizations, even though some of them are difficult.
 

  1. Intelligent students respect all teachers.
  2. Teachers respect all intelligent students.
  3. No teacher respects every student.
  4. No student respects an unintelligent teacher.
  5. Some student does not respect any intelligent teachers.
  6. Students who respect all intelligent teachers are themselves intelligent.
  7. Intelligent teachers respect all students, even though not all students are intelligent.
  8. Any student who respects herself respects all teachers.
  9. Some student who respects herself respects no teachers.
  10. No student who respects all teachers is unintelligent.
  11. There is a teacher who does not respect herself unless all students respect her.
  12. There is a student who does not respect any student who respects some teacher or other.