Solved Examples Of Predicate Logic In Artificial Intelligence