hylotab-1.2.0: examples/sat/form27.frm

begin
 (@ n2 (p2 v p1) -> @n1 p3)
end