Using the resolution method and the unit-resolution strategy it is possible to conclude that the following claim: ((P →Q) →Q) ^ ((P → P) +R) ^ (( RS) +-(S →Q)) ER O is not a valid claim is a valid claim O it is not possible to apply the unit resolution strategy O no conclusion