tree-sitter-nd/examples/e5.txt

Plain text ND syntax (Fitch style)

{
    [a]
    {
        ( A x . P(x) -> Q(x) ) ^ -Q(a)
        ___
        {
            P(a)
            ___
            A x . P(x) -> Q(x)
            Q(a)
            -Q(a)
            F
        }
        -P(a)
    }
    ( A x . P(x) -> Q(x) ) ^ -Q(a) -> -P(a)
}

A z . ( A x . P(x) -> Q(x) ) ^ -Q(z) -> -P(z)