% propositional logic using brutus

    all [p,q,r:Boolean] {
        (p iff (q iff r)) = ((p iff q) iff r)
    }
