MAYBE
* Step 1: Failure MAYBE
  + Considered Problem:
      - Strict TRS:
          eqNatList(Cons(x,xs),Cons(y,ys)) -> eqNatList[Match][Cons][Match][Cons][Ite](!EQ(x,y),y,ys,x,xs)
          eqNatList(Cons(x,xs),Nil()) -> False()
          eqNatList(Nil(),Cons(y,ys)) -> False()
          eqNatList(Nil(),Nil()) -> True()
          goal(a1,b1,a2,b2,a3,b3) -> nolexicord(a1,b1,a2,b2,a3,b3)
          nolexicord(Cons(x,xs),b1,a2,b2,a3,b3) -> nolexicord[Ite][False][Ite](eqNatList(Cons(x,xs),b1)
                                                                              ,Cons(x,xs)
                                                                              ,b1
                                                                              ,a2
                                                                              ,b2
                                                                              ,a3
                                                                              ,b3)
          nolexicord(Nil(),b1,a2,b2,a3,b3) -> Cons(Nil()
                                                  ,Cons(Nil()
                                                       ,Cons(Nil()
                                                            ,Cons(Nil()
                                                                 ,Cons(Nil()
                                                                      ,Cons(Nil()
                                                                           ,Cons(Nil()
                                                                                ,Cons(Nil()
                                                                                     ,Cons(Nil()
                                                                                          ,Cons(Nil()
                                                                                               ,Cons(Nil()
                                                                                                    ,Cons(Nil()
                                                                                                         ,Cons(Nil()
                                                                                                              ,Cons(Nil()
                                                                                                                   ,Cons(Nil()
                                                                                                                        ,Cons(Nil()
                                                                                                                             ,Cons(Nil()
                                                                                                                                  ,Cons(Nil()
                                                                                                                                       ,Cons(Nil()
                                                                                                                                            ,Cons(Nil()
                                                                                                                                                 ,Cons(Nil()
                                                                                                                                                      ,Cons(Nil()
                                                                                                                                                           ,Cons(Nil()
                                                                                                                                                                ,Cons(Nil()
                                                                                                                                                                     ,Cons(Nil()
                                                                                                                                                                          ,Cons(Nil()
                                                                                                                                                                               ,Cons(Nil()
                                                                                                                                                                                    ,Cons(Nil()
                                                                                                                                                                                         ,Cons(Nil()
                                                                                                                                                                                              ,Cons(Nil()
                                                                                                                                                                                                   ,Cons(Nil()
                                                                                                                                                                                                        ,Cons(Nil()
                                                                                                                                                                                                             ,Cons(Nil()
                                                                                                                                                                                                                  ,Cons(Nil()
                                                                                                                                                                                                                       ,Cons(Nil()
                                                                                                                                                                                                                            ,Cons(Nil()
                                                                                                                                                                                                                                 ,Cons(Nil()
                                                                                                                                                                                                                                      ,Cons(Nil()
                                                                                                                                                                                                                                           ,Cons(Nil()
                                                                                                                                                                                                                                                ,Cons(Nil()
                                                                                                                                                                                                                                                     ,Cons(Nil()
                                                                                                                                                                                                                                                          ,Cons(Nil()
                                                                                                                                                                                                                                                               ,Nil()))))))))))))))))))))))))))))))))))))))))))
          number42() -> Cons(Nil()
                            ,Cons(Nil()
                                 ,Cons(Nil()
                                      ,Cons(Nil()
                                           ,Cons(Nil()
                                                ,Cons(Nil()
                                                     ,Cons(Nil()
                                                          ,Cons(Nil()
                                                               ,Cons(Nil()
                                                                    ,Cons(Nil()
                                                                         ,Cons(Nil()
                                                                              ,Cons(Nil()
                                                                                   ,Cons(Nil()
                                                                                        ,Cons(Nil()
                                                                                             ,Cons(Nil()
                                                                                                  ,Cons(Nil()
                                                                                                       ,Cons(Nil()
                                                                                                            ,Cons(Nil()
                                                                                                                 ,Cons(Nil()
                                                                                                                      ,Cons(Nil()
                                                                                                                           ,Cons(Nil()
                                                                                                                                ,Cons(Nil()
                                                                                                                                     ,Cons(Nil()
                                                                                                                                          ,Cons(Nil()
                                                                                                                                               ,Cons(Nil()
                                                                                                                                                    ,Cons(Nil()
                                                                                                                                                         ,Cons(Nil()
                                                                                                                                                              ,Cons(Nil()
                                                                                                                                                                   ,Cons(Nil()
                                                                                                                                                                        ,Cons(Nil()
                                                                                                                                                                             ,Cons(Nil()
                                                                                                                                                                                  ,Cons(Nil()
                                                                                                                                                                                       ,Cons(Nil()
                                                                                                                                                                                            ,Cons(Nil()
                                                                                                                                                                                                 ,Cons(Nil()
                                                                                                                                                                                                      ,Cons(Nil()
                                                                                                                                                                                                           ,Cons(Nil()
                                                                                                                                                                                                                ,Cons(Nil()
                                                                                                                                                                                                                     ,Cons(Nil()
                                                                                                                                                                                                                          ,Cons(Nil()
                                                                                                                                                                                                                               ,Cons(Nil()
                                                                                                                                                                                                                                    ,Cons(Nil()
                                                                                                                                                                                                                                         ,Nil()))))))))))))))))))))))))))))))))))))))))))
      - Weak TRS:
          !EQ(0(),0()) -> True()
          !EQ(0(),S(y)) -> False()
          !EQ(S(x),0()) -> False()
          !EQ(S(x),S(y)) -> !EQ(x,y)
          nolexicord[Ite][False][Ite](False()
                                     ,Cons(x',xs')
                                     ,Cons(x',xs')
                                     ,Cons(x',xs')
                                     ,Cons(x',xs')
                                     ,Cons(x',xs')
                                     ,Cons(x,xs)) -> nolexicord(xs',xs',xs',xs',xs',xs)
          nolexicord[Ite][False][Ite](True()
                                     ,Cons(x',xs')
                                     ,Cons(x',xs')
                                     ,Cons(x',xs')
                                     ,Cons(x',xs')
                                     ,Cons(x,xs)
                                     ,Cons(x',xs')) -> nolexicord(xs',xs',xs',xs',xs',xs)
      - Signature:
          {!EQ/2,eqNatList/2,goal/6,nolexicord/6,nolexicord[Ite][False][Ite]/7,number42/0} / {0/0,Cons/2,False/0,Nil/0
          ,S/1,True/0,eqNatList[Match][Cons][Match][Cons][Ite]/5}
      - Obligation:
          innermost runtime complexity wrt. defined symbols {!EQ,eqNatList,goal,nolexicord,nolexicord[Ite][False][Ite]
          ,number42} and constructors {0,Cons,False,Nil,S,True,eqNatList[Match][Cons][Match][Cons][Ite]}
  + Applied Processor:
      NaturalPI {shape = Mixed 3, restrict = NoRestrict, uargs = UArgs, urules = URules, selector = Nothing}
  + Details:
      Incompatible
MAYBE