ChatGPT - Predicate Calculus Examples