Se presupune că concluzia C este falsă (adicănegația lui C este adevărată). ​.