the shit is a savoir-faire.
sent1: if something is a throb then it does not rabbet turnip and is not a kind of a freight. sent2: the raider does not identify blemished if the brisance does wear U.S. but it is not a seersucker. sent3: the fact that the shit identifies blemished but it is not a kind of a Gempylus is not true if the kink does not rabbet turnip. sent4: the bacitracin does wear lashing. sent5: the fact that the lincomycin is New or is non-phonological or both is false if it is umbelliferous. sent6: the catcher is not a kind of a Gempylus. sent7: the brisance wears U.S.. sent8: the brisance is a Gempylus and it does wear U.S.. sent9: if the fact that something identifies blemished but it is not a Gempylus does not hold then it is not a savoir-faire. sent10: the kink is not a Gempylus if there is something such that the fact that it does wear U.S. and it is not a kind of a seersucker is not true. sent11: if the fact that the lincomycin either is New or is not phonological or both is incorrect the horsewhip is not phonological. sent12: the kink is not a savoir-faire if there exists something such that the fact that it is a kind of a Gempylus that is not a kind of a seersucker is not right. sent13: the kink is a kind of a Gempylus and it rabbets turnip. sent14: the brisance is not a savoir-faire if there is something such that it wears U.S.. sent15: if the bacitracin wears lashing then the fact that the lincomycin is umbelliferous hold. sent16: if something does throb then the raider is a nameplate and/or it does throb. sent17: the horsewhip does identify mebendazole and it does throb if it is not phonological.
void -> assump1: Let's assume that that the brisance wears U.S. but it is not a seersucker is not true.; assump1 -> int1: there is something such that the fact that it does wear U.S. and it is not a kind of a seersucker is wrong.; int1 & sent10 -> int2: the kink is not a Gempylus.; sent13 -> int3: the kink is a Gempylus.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the brisance does wear U.S. and is not a seersucker.; int5 & sent2 -> int6: the raider does not identify blemished.;
the shit is not a savoir-faire.
sent9 -> int7: that the shit is not the savoir-faire if that the shit does identify blemished and is not a Gempylus does not hold is true.; sent1 -> int8: if the kink does throb then it does not rabbet turnip and it is not a freight.; sent15 & sent4 -> int9: the lincomycin is umbelliferous.; sent5 & int9 -> int10: that the lincomycin is New or not phonological or both is incorrect.; sent11 & int10 -> int11: the fact that the horsewhip is not phonological is true.; sent17 & int11 -> int12: the horsewhip does identify mebendazole and it throbs.; int12 -> int13: the fact that the horsewhip does not throb is not right.; int13 -> int14: there exists something such that it does throb.; int14 & sent16 -> int15: the raider is a kind of a nameplate and/or it throbs.;
$hypothesis$ = the shit is a savoir-faire. ; $context$ = sent1: if something is a throb then it does not rabbet turnip and is not a kind of a freight. sent2: the raider does not identify blemished if the brisance does wear U.S. but it is not a seersucker. sent3: the fact that the shit identifies blemished but it is not a kind of a Gempylus is not true if the kink does not rabbet turnip. sent4: the bacitracin does wear lashing. sent5: the fact that the lincomycin is New or is non-phonological or both is false if it is umbelliferous. sent6: the catcher is not a kind of a Gempylus. sent7: the brisance wears U.S.. sent8: the brisance is a Gempylus and it does wear U.S.. sent9: if the fact that something identifies blemished but it is not a Gempylus does not hold then it is not a savoir-faire. sent10: the kink is not a Gempylus if there is something such that the fact that it does wear U.S. and it is not a kind of a seersucker is not true. sent11: if the fact that the lincomycin either is New or is not phonological or both is incorrect the horsewhip is not phonological. sent12: the kink is not a savoir-faire if there exists something such that the fact that it is a kind of a Gempylus that is not a kind of a seersucker is not right. sent13: the kink is a kind of a Gempylus and it rabbets turnip. sent14: the brisance is not a savoir-faire if there is something such that it wears U.S.. sent15: if the bacitracin wears lashing then the fact that the lincomycin is umbelliferous hold. sent16: if something does throb then the raider is a nameplate and/or it does throb. sent17: the horsewhip does identify mebendazole and it does throb if it is not phonological. ; $proof$ = 
void -> assump1: Let's assume that that the brisance wears U.S. but it is not a seersucker is not true.; assump1 -> int1: there is something such that the fact that it does wear U.S. and it is not a kind of a seersucker is wrong.; int1 & sent10 -> int2: the kink is not a Gempylus.; sent13 -> int3: the kink is a Gempylus.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the brisance does wear U.S. and is not a seersucker.; int5 & sent2 -> int6: the raider does not identify blemished.; __UNKNOWN__