the impeller is not airworthy.
sent1: the costmary does not exhilarate Camlan and/or is not a kind of a leapfrog if it does not segregate impeller. sent2: the fact that something does not exhilarate Camlan and segregates impeller is not correct if it is not a kind of a leapfrog. sent3: the AMD exhilarates Camlan and it does segregate impeller. sent4: the topmast is a kind of an acceptability and/or it is not a neve if the filaggrin does embower washcloth. sent5: the AMD is not airworthy if that the impeller is not a neve is correct. sent6: if something is a kopek then it does embower washcloth. sent7: the AMD is not a kind of a piece. sent8: if the topmast is an acceptability and/or it is not a neve then the costmary does not segregate impeller. sent9: the impeller does not exhilarate Camlan. sent10: the AMD does not live. sent11: if something is a neve and it is airworthy that it is not a leapfrog is right. sent12: the AMD is unairworthy. sent13: the fact that the AMD exhilarates Camlan is correct. sent14: something does not usher bethel if it does exhilarate atomism and is canalicular. sent15: the AMD is a kind of a neve. sent16: the impeller is not a kind of an acceptability if the AMD is not airworthy. sent17: if something that is a neve is airworthy then it is not an acceptability. sent18: if the AMD is not an acceptability the impeller is unairworthy. sent19: if the impeller does not leapfrog the AMD is not airworthy. sent20: the impeller does segregate impeller. sent21: if something segregates impeller and is a leapfrog then it is not a kind of an acceptability.
sent3 -> int1: the AMD does segregate impeller.; sent21 -> int2: the AMD is not an acceptability if it does segregate impeller and does leapfrog.;
the impeller is airworthy.
sent6 -> int3: the filaggrin embowers washcloth if it is a kind of a kopek.;
$hypothesis$ = the impeller is not airworthy. ; $context$ = sent1: the costmary does not exhilarate Camlan and/or is not a kind of a leapfrog if it does not segregate impeller. sent2: the fact that something does not exhilarate Camlan and segregates impeller is not correct if it is not a kind of a leapfrog. sent3: the AMD exhilarates Camlan and it does segregate impeller. sent4: the topmast is a kind of an acceptability and/or it is not a neve if the filaggrin does embower washcloth. sent5: the AMD is not airworthy if that the impeller is not a neve is correct. sent6: if something is a kopek then it does embower washcloth. sent7: the AMD is not a kind of a piece. sent8: if the topmast is an acceptability and/or it is not a neve then the costmary does not segregate impeller. sent9: the impeller does not exhilarate Camlan. sent10: the AMD does not live. sent11: if something is a neve and it is airworthy that it is not a leapfrog is right. sent12: the AMD is unairworthy. sent13: the fact that the AMD exhilarates Camlan is correct. sent14: something does not usher bethel if it does exhilarate atomism and is canalicular. sent15: the AMD is a kind of a neve. sent16: the impeller is not a kind of an acceptability if the AMD is not airworthy. sent17: if something that is a neve is airworthy then it is not an acceptability. sent18: if the AMD is not an acceptability the impeller is unairworthy. sent19: if the impeller does not leapfrog the AMD is not airworthy. sent20: the impeller does segregate impeller. sent21: if something segregates impeller and is a leapfrog then it is not a kind of an acceptability. ; $proof$ = 
sent3 -> int1: the AMD does segregate impeller.; sent21 -> int2: the AMD is not an acceptability if it does segregate impeller and does leapfrog.; __UNKNOWN__