Thank you MrP.
I didn’t see your answer until just now.
But I still feel it should like this: "If the logic A then B is not true, then C happens"
See this example:
If I'm a human being, then I'll metabolize, else I'm frozen under a certain degree.
If "then" & "else" in the underlined sentence are not correctly used, which words should replace them to express the relevant logic?
[Well, maybe “A then B else C” is beyond my intelligence.
]