結果 : predicate calculus examples