sätt att resonera , om A oqwädar B i närwaro af C och D , blir ätaladderför