¿Cómo se compone la siguiente expresión en lenguaje simbólico?

Alguien podría decirme por favor cómo se compone esta expresión en lenguaje simbólico:
“Si camino 7 metros hacia adelante, entonces me desplazo. Pero no es cierto que (si camino 7 metros hacia adelante y camino 7 metros en sentido contrario, entonces me desplazo). No camino 7 metros hacia adelante. Por lo tanto, camino 7 metros en sentido contrario”.
Con definición de variables y todo