\predicates { p; q; r; } \problem { (p -> q -> r) -> (p -> q) -> p -> r }