% propositional logic using brutus
% weird truth table

foreach [p,q,r: Boolean] {
    print ((p,q,r), (p->(q->r) and not (p->q)->r))
}
AND
printstr "Conjecture is "
AND
print {
    all [p,q,r:Boolean] {
        p->(q->r) iff q->(p->r)
    }
}
