in4-contra-logic

Apply IN4 Contra-Logic to argue the opposite position to stress-test assumptions and expose weak reasoning.