Program interp6 finished execution...
i(p) is false (OK)
i(q) is false (OK)
i(r) is false (OK)
i(s) is false (OK)
