the charger is not bacteriostatic but it is a kicksorter if the bookmobile does not overprint Pascal.
sent1: there exists something such that it does not overprint Sheridan. sent2: the Sheetrock nurses pastel. sent3: if the bookmobile is a reliance then it is not a kicksorter. sent4: something that is not a uncleanliness is a reliance. sent5: the Sheetrock is a uncleanliness and genotypical if there is something such that it does not overprint Sheridan. sent6: if the fact that the charger is not non-genotypical is true that the Sheetrock is a kicksorter is right. sent7: something does overprint Pascal if it is not a pantechnicon. sent8: if there is something such that it is not genotypical then the Sheetrock is a kicksorter and it overprints Pascal. sent9: if the fact that something is not bacteriostatic and is not a kind of a reliance is not right then the fact that it is not genotypical is correct. sent10: the charger overprints Pascal. sent11: if something is a kind of a kicksorter then it is not a pantechnicon. sent12: that that the bookmobile is not a reliance but it is a B is not wrong is false. sent13: the charger is a kind of a reliance if something is not a kicksorter. sent14: that the bookmobile is a reliance but it is not a B is not correct. sent15: the fact that the bookmobile is not a reliance and it is not a kind of a B does not hold if the charger is bacteriostatic. sent16: if the Sheetrock is a uncleanliness the fact that the charger is a kicksorter is not false.
void -> assump1: Let's assume that the charger is bacteriostatic.; sent15 & assump1 -> int1: the fact that the bookmobile is both not a reliance and not a B is incorrect.; sent7 -> int2: if the bookmobile is not a kind of a pantechnicon the fact that it does not overprint Pascal is false.; void -> assump2: Let's assume that the bookmobile does not overprint Pascal.; sent1 & sent5 -> int3: the Sheetrock is a uncleanliness and it is genotypical.; int3 -> int4: the Sheetrock is a kind of a uncleanliness.; sent16 & int4 -> int5: the charger is a kicksorter.;
$hypothesis$ = the charger is not bacteriostatic but it is a kicksorter if the bookmobile does not overprint Pascal. ; $context$ = sent1: there exists something such that it does not overprint Sheridan. sent2: the Sheetrock nurses pastel. sent3: if the bookmobile is a reliance then it is not a kicksorter. sent4: something that is not a uncleanliness is a reliance. sent5: the Sheetrock is a uncleanliness and genotypical if there is something such that it does not overprint Sheridan. sent6: if the fact that the charger is not non-genotypical is true that the Sheetrock is a kicksorter is right. sent7: something does overprint Pascal if it is not a pantechnicon. sent8: if there is something such that it is not genotypical then the Sheetrock is a kicksorter and it overprints Pascal. sent9: if the fact that something is not bacteriostatic and is not a kind of a reliance is not right then the fact that it is not genotypical is correct. sent10: the charger overprints Pascal. sent11: if something is a kind of a kicksorter then it is not a pantechnicon. sent12: that that the bookmobile is not a reliance but it is a B is not wrong is false. sent13: the charger is a kind of a reliance if something is not a kicksorter. sent14: that the bookmobile is a reliance but it is not a B is not correct. sent15: the fact that the bookmobile is not a reliance and it is not a kind of a B does not hold if the charger is bacteriostatic. sent16: if the Sheetrock is a uncleanliness the fact that the charger is a kicksorter is not false. ; $proof$ = 
void -> assump1: Let's assume that the charger is bacteriostatic.; sent15 & assump1 -> int1: the fact that the bookmobile is both not a reliance and not a B is incorrect.; sent7 -> int2: if the bookmobile is not a kind of a pantechnicon the fact that it does not overprint Pascal is false.; void -> assump2: Let's assume that the bookmobile does not overprint Pascal.; sent1 & sent5 -> int3: the Sheetrock is a uncleanliness and it is genotypical.; int3 -> int4: the Sheetrock is a kind of a uncleanliness.; sent16 & int4 -> int5: the charger is a kicksorter.; __UNKNOWN__