% This is a simple non-disjunctive stratified theory.

p <- not(q).
q <- not(r).
r <- not(s).
t.

$v.