結果 : predicate logic statements example