I could trace through that example quite quickly and I'm not an expert in logic, so I think you might be exaggerating some statements about difficulty here.