\lnot(K x)\lnot A\supset(\exists x)A