% SZS status Theorem for NOT__EQ__LI
% SZS output start Proof for NOT__EQ__LI
  file('i/f/list/NOT__EQ__LIST',ch4s_lists_NOTu_u_EQu_u_LIST)).
  file('i/f/list/NOT__EQ__LIST',ah4s_lists_CONSu_u_11)).
% SZS output end Proof for NOT__EQ__LI
