Да, если глаголол ложи́ться употреблен в следующем значении:
ЛОЖИ́ТЬСЯ, несов. (сов. лечь). Располагаться (расположиться) где-л., приняв горизонтальное положение (о людях и некоторых животных) [impf. to lie down; to go to bed]. В девять вечера Сонечка всегда ложилась спать, хотя заснуть долго не могла, и мама читала ей сказки. На осмотре врача больной лег на спину.
Актуальный научный подход к проблеме членимости инфинитивов на -чь представлен, например, в монографии В. А. Плунгяна «Общая морфология». Владимир Александрович пишет о том, что в формах типа печь, стричь, мочь мы «сталкиваемся с невозможностью однозначно провести морфемную границу или, что то же самое, выделить сегментный показатель инфинитива», «чередование оказывается единственным показателем некоторого грамматического значения (так, в форме печь, вообще говоря, "нет" показателя инфинитива...)». Выделение формообразующего суффикса чь, по мнению автора, «будет фонологически менее естественным», так как фонема ч связана с корневой к (что проявляется в чередовании печь — пеку — печет), а не с т.
Полностью соответствующий фрагмент монографии доступен по адресу https://studfile.net/preview/8860489/page:8/#16, см. начиная с примера (18).
В заключение заметим, что в «Большом универсальном словаре русского языка» под ред. В. В. Морковкина, доступном на нашем портале, морфемный разбор инфинитивов на чь соответствует более фонологически обоснованному подходу, описанному В. А. Плунгяном. См. конец словарных статей глаголов типа печь.
Форма коньми неправильна, конечно. У существительных в тв. падеже мн. числа стандартное окончание — -ами(-ями), но у некоторых слов окончание нестандартное — (ь)ми.
Варианты окончания -ами(-ями) / -(ь)ми в древности принадлежали разным типам склонения имен существительных. Однако после унификации склонения существительных во мн. числе для всех слов нормативным стало окончание -ами(-ями). И лишь у нескольких слов в современном русском языке возможно окончание -(ь)ми. У слова дети форма детьми единственно возможная. В парах дверями – дверьми, лошадями – лошадьми, дочерями – дочерьми возможны оба варианта, причем более употребительно окончание -(ь)ми. У слова звери предпочтительным считается форма зверями; вариант зверьми рассматривается как устаревающий. Кроме этого, у слов кость и плеть при нормативных формах костями, плетями формы на -(ь)ми сохраняются в устойчивых сочетаниях лечь костьми, бить плетьми.
Запятая нужна, так как нет второй части союза если... то и придаточную часть можно переставить в другое место предложения.
Можно в этом случае говорить о метатезе.
Приинфинитивная часть составного глагольного сказуемого в данном случае выражает модальное значение (отношение субъекта к действию).
См.: http://new.gramota.ru//biblio/readingroom/textbooks/author/litnevskaya/part5#312
Составное глагольное.
Большой толковый словарь
Оба варианта возможны, есть разница в значении: употребление предлога на подчеркивает, что речь идет о поверхности. Ср.: лечь в кровать и уснуть – лечь на кровать в одежде.
Лежать - лежи. Лечь - ляг.