A new attraction discount policy has been formulated for a certain attraction. According to this policy, not some students enjoy discount tickets at this attraction, and all those who enjoy discount tickets at this attraction are over 12 years old. Can it be launched from this? ['Some students over 12 years old enjoy discounted tickets at this attraction.', 'The ticket discount policy for this attraction is only for students under 12 years old.', 'All students over 12 years old do not enjoy discount tickets at this attraction.', 'All students under the age of 12 enjoy ticket discounts at this attraction.']