結果 : explain predicate logic and representing knowledge with example