the watermark does not sample vancomycin if the hisser is not a raising.
sent1: the hisser is not a eclair. sent2: if the hymenium is a heavyheartedness then the fact that it is a eclair or congeneric or both is right. sent3: the watermark is a heavyheartedness or does not sample vancomycin or both. sent4: if the hisser is not a raising then the watermark does sample vancomycin. sent5: the franklin is not a scratcher. sent6: the fact that the hymenium is both a scratcher and a heavyheartedness does not hold if it is not a Borassus. sent7: the fact that the hisser is a kind of a heavyheartedness and it is a Borassus is false. sent8: if the watermark samples vancomycin it is a scratcher. sent9: the hymenium is either a eclair or congeneric or both. sent10: if that the hymenium is not a kind of a Borassus hold then the hisser is not semiotics. sent11: if the hymenium is a eclair and/or not congeneric the hisser is a Borassus. sent12: the hisser does sample vancomycin and/or is not a Borassus if it is semiotics. sent13: the fact that the hymenium is a scratcher and it is semiotics is false if it is not a heavyheartedness. sent14: if the fact that the hymenium is a kind of a scratcher and it is semiotics is wrong the watermark does not sample vancomycin. sent15: something raises if it is a Borassus. sent16: the watermark does sample vancomycin if that the fact that the hymenium is a kind of a scratcher and it is semiotics is false is not incorrect. sent17: the watermark is a eclair or does not sample vancomycin or both. sent18: that the watermark is not a Borassus is true. sent19: if the hymenium is not a scratcher the watermark does not sample vancomycin. sent20: the watermark does sample vancomycin. sent21: if the hymenium is a heavyheartedness then either it is a eclair or it is not congeneric or both. sent22: if the hymenium is not a Borassus the hisser is not congeneric. sent23: the hymenium is not congeneric if that the hisser is a kind of a scratcher and is a heavyheartedness is not true. sent24: if the hymenium is not congeneric then the hisser is a Borassus.
void -> assump2: Let's assume that the hymenium is a heavyheartedness.; sent21 & assump2 -> int1: the hymenium is a eclair and/or is not congeneric.; int1 & sent11 -> int2: the hisser is a Borassus.; sent15 -> int3: the hisser raises if it is a Borassus.; int2 & int3 -> int4: that the hisser is a raising is not incorrect.; void -> assump1: Let's assume that the hisser is not a raising.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: the hymenium is not a kind of a heavyheartedness.; int6 & sent13 -> int7: the fact that the hymenium is a scratcher and it is semiotics is not correct.; int7 & sent14 -> int8: the watermark does not sample vancomycin.; [assump1] & int8 -> hypothesis;
$hypothesis$ = the watermark does not sample vancomycin if the hisser is not a raising. ; $context$ = sent1: the hisser is not a eclair. sent2: if the hymenium is a heavyheartedness then the fact that it is a eclair or congeneric or both is right. sent3: the watermark is a heavyheartedness or does not sample vancomycin or both. sent4: if the hisser is not a raising then the watermark does sample vancomycin. sent5: the franklin is not a scratcher. sent6: the fact that the hymenium is both a scratcher and a heavyheartedness does not hold if it is not a Borassus. sent7: the fact that the hisser is a kind of a heavyheartedness and it is a Borassus is false. sent8: if the watermark samples vancomycin it is a scratcher. sent9: the hymenium is either a eclair or congeneric or both. sent10: if that the hymenium is not a kind of a Borassus hold then the hisser is not semiotics. sent11: if the hymenium is a eclair and/or not congeneric the hisser is a Borassus. sent12: the hisser does sample vancomycin and/or is not a Borassus if it is semiotics. sent13: the fact that the hymenium is a scratcher and it is semiotics is false if it is not a heavyheartedness. sent14: if the fact that the hymenium is a kind of a scratcher and it is semiotics is wrong the watermark does not sample vancomycin. sent15: something raises if it is a Borassus. sent16: the watermark does sample vancomycin if that the fact that the hymenium is a kind of a scratcher and it is semiotics is false is not incorrect. sent17: the watermark is a eclair or does not sample vancomycin or both. sent18: that the watermark is not a Borassus is true. sent19: if the hymenium is not a scratcher the watermark does not sample vancomycin. sent20: the watermark does sample vancomycin. sent21: if the hymenium is a heavyheartedness then either it is a eclair or it is not congeneric or both. sent22: if the hymenium is not a Borassus the hisser is not congeneric. sent23: the hymenium is not congeneric if that the hisser is a kind of a scratcher and is a heavyheartedness is not true. sent24: if the hymenium is not congeneric then the hisser is a Borassus. ; $proof$ = 
void -> assump2: Let's assume that the hymenium is a heavyheartedness.; sent21 & assump2 -> int1: the hymenium is a eclair and/or is not congeneric.; int1 & sent11 -> int2: the hisser is a Borassus.; sent15 -> int3: the hisser raises if it is a Borassus.; int2 & int3 -> int4: that the hisser is a raising is not incorrect.; void -> assump1: Let's assume that the hisser is not a raising.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: the hymenium is not a kind of a heavyheartedness.; int6 & sent13 -> int7: the fact that the hymenium is a scratcher and it is semiotics is not correct.; int7 & sent14 -> int8: the watermark does not sample vancomycin.; [assump1] & int8 -> hypothesis; __PROVED__