Predicate logic/Different literary quotes/2/Exercise