the parts does not discharge if it is tartaric.
sent1: there is something such that it is tartaric. sent2: if that the Breton is not heterodyne and/or it is not a crew is not true then the scrapbook does not heterodyne. sent3: that the sharpie is not a cling and is tartaric is not correct if it is a kind of a iambic. sent4: something is a kind of a Singaporean. sent5: the confessor is tartaric. sent6: if the fact that the parts is both a crew and a discharge is not incorrect it is not tartaric. sent7: if the parts is tartaric it is a discharge. sent8: the parts does heterodyne. sent9: the fact that something does not heterodyne and/or it is not a crew is not true if it does not discharge. sent10: if the snap is a Ashton and it is a kind of a Atlantic it does update bullshot. sent11: if the parts is both a crew and a discharge it is tartaric. sent12: the antimalarial is a neighborhood and it does sparge Brooklyn if something is a kind of a discharge. sent13: the parts is heterodyne if there is something such that it is a kind of a Singaporean. sent14: the Breton does not discharge if the fact that there is something such that the fact that it is both not a cling and tartaric is false is true. sent15: the sharpie is not non-iambic.
void -> assump2: Let's assume that the parts discharges.;
there is something such that it is a ventricle.
sent9 -> int1: if the Breton is not a discharge then that the fact that it either does not heterodyne or is not a crew or both is not incorrect is not correct.; sent3 & sent15 -> int2: the fact that the sharpie does not cling and is tartaric is false.; int2 -> int3: there exists something such that the fact that it is not a cling and is tartaric is incorrect.; int3 & sent14 -> int4: that the fact that the Breton discharges is correct is not right.; int1 & int4 -> int5: the fact that the Breton is not heterodyne and/or it is not a crew is wrong.; sent2 & int5 -> int6: the scrapbook does not heterodyne.; int6 -> int7: there is something such that it is not heterodyne.;
$hypothesis$ = the parts does not discharge if it is tartaric. ; $context$ = sent1: there is something such that it is tartaric. sent2: if that the Breton is not heterodyne and/or it is not a crew is not true then the scrapbook does not heterodyne. sent3: that the sharpie is not a cling and is tartaric is not correct if it is a kind of a iambic. sent4: something is a kind of a Singaporean. sent5: the confessor is tartaric. sent6: if the fact that the parts is both a crew and a discharge is not incorrect it is not tartaric. sent7: if the parts is tartaric it is a discharge. sent8: the parts does heterodyne. sent9: the fact that something does not heterodyne and/or it is not a crew is not true if it does not discharge. sent10: if the snap is a Ashton and it is a kind of a Atlantic it does update bullshot. sent11: if the parts is both a crew and a discharge it is tartaric. sent12: the antimalarial is a neighborhood and it does sparge Brooklyn if something is a kind of a discharge. sent13: the parts is heterodyne if there is something such that it is a kind of a Singaporean. sent14: the Breton does not discharge if the fact that there is something such that the fact that it is both not a cling and tartaric is false is true. sent15: the sharpie is not non-iambic. ; $proof$ = 
void -> assump2: Let's assume that the parts discharges.; __UNKNOWN__