Program interp7 finished execution...
i(p) is false (OK)
i(q) is true (OK)
i(r) is false (OK)
