\predicates {
  p; q;
}

\problem {
  p -> q -> p
}