the inversion may be necessary but not sufficient condition. I don't think you've exposed a logic flaw in OP statement (we can still discuss whether we grant them the premise)