if the azimuth is cardiac the hassock is not neoplastic.
sent1: The hassock does not interpret preschooler. sent2: the hassock is neoplastic. sent3: something is a Bathsheba if it is not beneficent and it does not subdivide pentaerythritol. sent4: if something does not interpret hassock then it is not beneficent and does not subdivide pentaerythritol. sent5: the fact that the preschooler is a soar but it is not alimentative is wrong. sent6: if that the preschooler is not a soar and not alimentative is wrong that the azimuth is not cardiac hold. sent7: if something is not alimentative the fact that it does not downsize is correct. sent8: the hassock is not neoplastic if something that does not downsize is a Bathsheba.
void -> assump1: Let's assume that the fact that the preschooler is both not a soar and not alimentative is not right.; sent6 & assump1 -> int1: the azimuth is not cardiac.; void -> assump2: Let's assume that the azimuth is cardiac.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the preschooler is not a soar and is not alimentative.; int3 -> int4: the preschooler is not alimentative.; sent7 -> int5: the preschooler does not downsize if it is not alimentative.; int4 & int5 -> int6: the preschooler does not downsize.; sent3 -> int7: the preschooler is a Bathsheba if it is not beneficent and it does not subdivide pentaerythritol.; sent4 -> int8: if the preschooler does not interpret hassock then it is not beneficent and does not subdivide pentaerythritol.;
$hypothesis$ = if the azimuth is cardiac the hassock is not neoplastic. ; $context$ = sent1: The hassock does not interpret preschooler. sent2: the hassock is neoplastic. sent3: something is a Bathsheba if it is not beneficent and it does not subdivide pentaerythritol. sent4: if something does not interpret hassock then it is not beneficent and does not subdivide pentaerythritol. sent5: the fact that the preschooler is a soar but it is not alimentative is wrong. sent6: if that the preschooler is not a soar and not alimentative is wrong that the azimuth is not cardiac hold. sent7: if something is not alimentative the fact that it does not downsize is correct. sent8: the hassock is not neoplastic if something that does not downsize is a Bathsheba. ; $proof$ = 
void -> assump1: Let's assume that the fact that the preschooler is both not a soar and not alimentative is not right.; sent6 & assump1 -> int1: the azimuth is not cardiac.; void -> assump2: Let's assume that the azimuth is cardiac.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the preschooler is not a soar and is not alimentative.; int3 -> int4: the preschooler is not alimentative.; sent7 -> int5: the preschooler does not downsize if it is not alimentative.; int4 & int5 -> int6: the preschooler does not downsize.; sent3 -> int7: the preschooler is a Bathsheba if it is not beneficent and it does not subdivide pentaerythritol.; sent4 -> int8: if the preschooler does not interpret hassock then it is not beneficent and does not subdivide pentaerythritol.; __UNKNOWN__