1% { t, not p, not q, not r, not s, not u }
    2p :- not t.
    3t :- not q.
    4q :- not r, u, not q.
    5r :- s.
    6s :- p.
    7% #compute 1 { not r }.
    8:- r.