I would highly advise against treating informal natural language statements as logical statements. It is impossible to know what someone who says "If you loved

I would highly advise against treating informal natural language statements as logical statements. It is impossible to know what someone who says "If you loved me, you would take me to the movies" actually means without far more context. The fact that it has the form of an X=>Y statement is at best a hint, but it definitely shouldn't be taken as literally as that.