the aspirator irradiates homelessness.
sent1: there is something such that that it is not custard-like and it is not a bloomers is not right. sent2: that the pajama accedes hold if there is something such that the fact that it is not custard-like and it is not a bloomers is not correct. sent3: the costmary is adnexal. sent4: if the aspirator does not accede then that the pajama is not a skimming and it is not a kind of a Ecuadorian is incorrect. sent5: the fact that the pajama is adnexal hold if the costmary is adnexal. sent6: if something that does accede is adnexal the aspirator does not irradiate homelessness.
sent1 & sent2 -> int1: the pajama does accede.; sent5 & sent3 -> int2: the pajama is adnexal.; int1 & int2 -> int3: the pajama accedes and is adnexal.; int3 -> int4: there exists something such that it does accede and it is adnexal.; int4 & sent6 -> hypothesis;
there is something such that the fact that it does not skim and is not a Ecuadorian does not hold.
$hypothesis$ = the aspirator irradiates homelessness. ; $context$ = sent1: there is something such that that it is not custard-like and it is not a bloomers is not right. sent2: that the pajama accedes hold if there is something such that the fact that it is not custard-like and it is not a bloomers is not correct. sent3: the costmary is adnexal. sent4: if the aspirator does not accede then that the pajama is not a skimming and it is not a kind of a Ecuadorian is incorrect. sent5: the fact that the pajama is adnexal hold if the costmary is adnexal. sent6: if something that does accede is adnexal the aspirator does not irradiate homelessness. ; $proof$ = 
sent1 & sent2 -> int1: the pajama does accede.; sent5 & sent3 -> int2: the pajama is adnexal.; int1 & int2 -> int3: the pajama accedes and is adnexal.; int3 -> int4: there exists something such that it does accede and it is adnexal.; int4 & sent6 -> hypothesis; __DISPROVED__