\predicates {
  p; q; r;
}

\problem {
  (!p -> p) -> p
}