resolution principle

Input interpretation

resolution principle