А вот выше как раз пример путаницы с казуальностью в формальной логике.

ЕСЛИ параллелограмм является квадратом, ТО все его углы и стороны равны
ЕСЛИ все углы и стороны параллелограмма равны, ТО он является квадратом

Оба силлогизма вполне себе импликативны, но корректен только второй, потому что вектор причинности правильно направлен. Квадратность есть следствие равенства углов-сторон, а не наоборот.