A logic problem (10 Marks)

The following logic problems involve translating between English and "Logic".

For each problem, you should:

1. Identify the universal class. (What do all the terms refer to?) (1 Mark)
2. Extract the terms and assign letters to each of them. (3 Marks)
3. Restate each of the statements in symbolic form. (3 Marks)
4. Find the chain of implication and use it to obtain the conclusion. (2 Marks)
5. State this conclusion in English. (2 Marks)

Problem 1:

1. No student, that loves logic, is not clever.
2. No student without a bicycle will solve this puzzle.
3. Students with long hair always love logic.
4. No clever student gets a failing grade.
5. No students have bicycles unless they have long hair.