فَيجب أَن يكون فِي الْخَارِج أَو فِي الذِّهْن وَذَلِكَ محَال فيتأول مَا ورد من ذَلِك على حذف الْجَواب أَي إِن سرق فتأس فقد سرق أَخ لَهُ من قبل وَمثله ﴿وَإِن يُكذِّبُوك فقد كذبت رسل﴾ [فاطر: ٤] أَي فتسل فقد كذبت قَالَ وَسمي الْمَذْكُور جَوَابا لِأَنَّهُ مغن عَنهُ بِحَيْثُ لَا يجامعه لِكَثْرَة مَا اسْتعْمل كَذَلِك محذوفا (وَإِنَّمَا يصدر الشَّرْط بِفعل مضارع غير دُعَاء وَلَا ذِي تَنْفِيس مُثبت أَو مَعَ لَا أَو لم) نَحْو إِن تقم أقِم (إِن لَا يكنه فَلَا خير لَك فِي قَتله) ﴿فَإِن لم تَفعلُوا وَلنْ تَفعلُوا فَاتَّقُوا النَّار﴾ [الْبَقَرَة: ٢٤] وَلَا يصدر بمضارع دُعَاء أَو مقرون بِالسِّين أَو سَوف (أَو) يصدر بِفعل مَاض عَار من قد وحرف نفي وَدُعَاء وجمود نَحْو إِن قَامَ زيد قُمْت وَلَا يصدر بماض مقرون بقد أَو بِحرف نفي أَو ذِي دُعَاء أَو جامد وَلَا بِفعل الْأَمر الْبَتَّةَ (وَلَو) كَانَ الْفِعْل (مضمرا فسره فعل) بعد معموله فَإِنَّهُ يجوز تصدير الشَّرْط بِهِ نَحْو: ﴿وَإِن أحد من الْمُشْركين استجارك﴾ [التَّوْبَة: ٤٦] التَّقْدِير إِن استجارك أحد من الْمُشْركين استجارك ف (استجارك) الْمُتَأَخر فسرت الأولى المضمرة وارتفع (أحد) على الفاعلية بهَا (وَكَونه) وَالْحَالة هَذِه مضارعا دون لم ضَرُورَة كَقَوْلِه: ١٢٩٣ -
(يُثْنِي عَلَيْكَ وَأَنت أهلُ ثَنائِهِ ... ولَدَيْكَ إنْ هُو يَستَزدْك مَزيدُ)
وَالِاخْتِيَار أَن يكون عِنْد الْإِضْمَار وَالتَّفْسِير إِمَّا مَاضِيا كَمَا تقدم أَو مضارعا مَقْرُونا بلم كَقَوْلِه: ١٢٩٤ -
(فَإِن أَنْت لم يَنْفَعْك عِلْمُك فانْتَسِبْ ... )