% Big example, needs two iterations of Theta.

a v b.
b v c.
d v e <- not(a).
e v f <- not(c).
g v h <- not(d).
g     <- not(f).
$v.