To understand how resolution works, consider the following example syllogism of term logic: All Greeks are Europeans.
要理解归结是如何工作的，考虑词项逻辑三段论的下列例子： 所有希腊人都是欧洲人。