Think about using "cut-fail" here.  See slide 119.

Also, I found this predicate to be a good place to use disjunction.  See section 1.10 in Covington.