Hybrid reasoners can solve the kangaroo beaver problem