View source with raw comments or as raw
    1p :- not q.
    2q :- not p