the copal is not a Ailurus and not a niggard.
sent1: the catmint is not a niggard. sent2: the madnep is not lung-like. sent3: if the madnep is not a Ailurus the copal is not a kind of a Ailurus. sent4: if the madnep is not lung-like then the copal is non-lung-like thing that is not a Ailurus. sent5: the madnep is not theatrical. sent6: if the madnep is not a kind of a Ailurus that the copal is not a Ailurus and it is not a niggard is true. sent7: the copal is not a Ailurus but it enskies destiny. sent8: the copal is not usual if the madnep is not lung-like. sent9: the pitch is non-Jurassic if there exists something such that the fact that the fact that it is a Hungarian and not Romanian hold is not right. sent10: there exists something such that the fact that it is both not non-Hungarian and not Romanian is not correct. sent11: the copal is not a Ailurus and it is not usual if the madnep is not a Ailurus. sent12: the madnep is usual. sent13: the copal is not lung-like if it is not a Ailurus but usual. sent14: something is a kind of a mordacity if it is not Jurassic. sent15: the copal is not a Ailurus if it is not a kind of a niggard and is usual. sent16: something is not a Ailurus if it is not usual and it is a kind of a niggard. sent17: the vesiculation is not non-lung-like. sent18: if the madnep is both not usual and a niggard then it is not a Ailurus. sent19: the copal is not a Ailurus. sent20: the copal is not lung-like. sent21: if something that is not lung-like is a kind of a Ailurus it is not a niggard. sent22: the zygoma is usual. sent23: if something is not lung-like but it is usual it is not a Ailurus. sent24: the madnep is a cliff-brake.
sent23 -> int1: if the madnep is not lung-like but usual then it is not a kind of a Ailurus.; sent2 & sent12 -> int2: the madnep is both non-lung-like and not unusual.; int1 & int2 -> int3: the madnep is not a Ailurus.; int3 & sent6 -> hypothesis;
the Dravidian is not a Ailurus.
sent14 -> int4: the pitch is a mordacity if it is not a Jurassic.; sent10 & sent9 -> int5: that the pitch is not Jurassic hold.; int4 & int5 -> int6: the pitch is a kind of a mordacity.; int6 -> int7: something is a kind of a mordacity.;
$hypothesis$ = the copal is not a Ailurus and not a niggard. ; $context$ = sent1: the catmint is not a niggard. sent2: the madnep is not lung-like. sent3: if the madnep is not a Ailurus the copal is not a kind of a Ailurus. sent4: if the madnep is not lung-like then the copal is non-lung-like thing that is not a Ailurus. sent5: the madnep is not theatrical. sent6: if the madnep is not a kind of a Ailurus that the copal is not a Ailurus and it is not a niggard is true. sent7: the copal is not a Ailurus but it enskies destiny. sent8: the copal is not usual if the madnep is not lung-like. sent9: the pitch is non-Jurassic if there exists something such that the fact that the fact that it is a Hungarian and not Romanian hold is not right. sent10: there exists something such that the fact that it is both not non-Hungarian and not Romanian is not correct. sent11: the copal is not a Ailurus and it is not usual if the madnep is not a Ailurus. sent12: the madnep is usual. sent13: the copal is not lung-like if it is not a Ailurus but usual. sent14: something is a kind of a mordacity if it is not Jurassic. sent15: the copal is not a Ailurus if it is not a kind of a niggard and is usual. sent16: something is not a Ailurus if it is not usual and it is a kind of a niggard. sent17: the vesiculation is not non-lung-like. sent18: if the madnep is both not usual and a niggard then it is not a Ailurus. sent19: the copal is not a Ailurus. sent20: the copal is not lung-like. sent21: if something that is not lung-like is a kind of a Ailurus it is not a niggard. sent22: the zygoma is usual. sent23: if something is not lung-like but it is usual it is not a Ailurus. sent24: the madnep is a cliff-brake. ; $proof$ = 
sent23 -> int1: if the madnep is not lung-like but usual then it is not a kind of a Ailurus.; sent2 & sent12 -> int2: the madnep is both non-lung-like and not unusual.; int1 & int2 -> int3: the madnep is not a Ailurus.; int3 & sent6 -> hypothesis; __PROVED__