قال أبو علي: من كسر (إِنَّا) فهو استئناف وتفسير للعاقبة، كما أن قوله: {لَهُمْ مَغْفِرَةٌ وَأَجْرٌ عَظِيمٌ} [المائدة: 9] تفسير للوعد، وتكون: كان، التي بمعنى: وقع، والمعنى: فانظر على أي حال وقع عاقبة مكرهم؛ أي: أحسنًا وقع عاقبة مكرهم أم سيئًا، ومن فتح جاز أن يكون: (كَانَ) على ضربيها فإن حملته على: وقع، جاز في (أَنَّا) أمران؛

أحدهما: أن يكون بدلاً من قوله: {عَاقِبَةُ مَكْرِهِمْ} والثاني: أن يكون محمولاً على مبتدأ مضمر؛ كأنه: هو أنا دمرناهم، أو ذاك أنا دمرناهم. وإن حصلت (كَانَ) على المقتضية الخبر جاز في: (أَنَّا) أمران؛ أحدهما: أن يكون بدلاً من اسم كان الذي هو العاقبة، وإذا حملته على ذلك كان (كَيْفَ) في موضع خبر كان، [والآخر: أن يكون خبرَ كان، ويكون موضعه نصبًا بأنه خبر كان] كأنه كان عاقبة مكرهم تدميرَهم، ويكون: (كَيْفَ) في موضع حال.

قال أبو إسحاق: من قرأها بالكسر كان المعنى: (فَانْظُرْ) أي شيء {عَاقِبَةُ مَكْرِهِمْ} ثم فسر فقال: {أَنَّا دَمَّرْنَاهُمْ} فدل على أن العاقبة: الدمار، ومن قرأ: {أَنَّا دَمَّرْنَاهُمْ} أضمر في الكلام شيئًا، على تقدير: {فَانْظُرْ كَيْفَ كَانَ عَاقِبَةُ مَكْرِهِمْ} العاقبة: أنا دمرناهم، فتكون (أَنَّا) في موضع رفع على هذا التفسير.

واختلف قول المفسرين في كيفية هلاك هؤلاء النفر؛ فقال ابن عباس: أرسل الله الملائكة تلك الليلة إلى دار صالح يحرسونه فأتى التسعة دار صالح شاهرين سيوفهم، فرمتهم الملائكة بالحجارة من حيث يرون الحجارة، ولا يرون الملائكة فقتلتهم. وهذا قول الكلبي.

وقال قتادة: سلط الله عليهم صخرة فدمغتهم.

وقال مقاتل: نزلوا في سفح جبل ينتظر بعضهم بعضًا؛ ليأتوا دار صالح فجثم عليهم الجبل، فأهلكهم.

وقال السدي: خرجوا ليأتوا صالحًا، فنزلوا جُرُفًا من الأرض يكمنون فيه فانهار عليهم.

وقوله: {وَقَوْمَهُمْ أَجْمَعِينَ} يعني: بصيحة جبريل.