Inconsistent Reasoning Toward Consistent Theories