so fkin bad carnap

{"ident":63,"label":"!?","rule":"~E","forest":[{"ident":82,"label":"~A(c)","rule":"->E","forest":[{"ident":83,"label":"Ex ~A(x) -> ~A(c)","rule":"","forest":[]},{"ident":84,"label":"Ex ~A(x)","rule":"->E","forest":[{"ident":85,"label":"~@xA(x) -> Ex ~A(x)","rule":"->I","forest":[{"ident":86,"label":"Ex ~A(x)","rule":"IP (2)","forest":[{"ident":87,"label":"!?","rule":"~E","forest":[{"ident":88,"label":"~@xA(x)","rule":"","forest":[]},{"ident":89,"label":"@xA(x)","rule":"AI","forest":[{"ident":90,"label":"A(p)","rule":"IP (3)","forest":[{"ident":91,"label":"!?","rule":"~E","forest":[{"ident":92,"label":"Ex ~A(x)","rule":"EI","forest":[{"ident":93,"label":"~A(p)","rule":"3","forest":[{"ident":94,"label":"","rule":"","forest":[]}]}]},{"ident":95,"label":"~Ex ~A(x)","rule":"2","forest":[{"ident":96,"label":"","rule":"","forest":[]}]}]}]}]}]}]}]},{"ident":97,"label":"~@xA(x)","rule":"","forest":[]}]}]},{"ident":98,"label":"A(c)","rule":"","forest":[]}]}