Emergency protocol: If a sensor detects smoke and the control panel is online, an alert is sent. The warehouse sensor detected smoke, but the control panel was offline. Therefore, no alert was sent. Which formal description best represents the stimulus's premises, conclusion, and inferential relationship?