Identify the type of statement for the following: IN = (5 . J)] > IS > (N > J)] O
1) Contingent
2) Self-contradictory
3) Contradictory
4) Tautologous