the dynamometer is a kind of a orchil and it is bisectional.
sent1: if the rudderfish is not an open that it is bisectional thing that does not sicken does not hold. sent2: the fact that the dynamometer is not acervate if the fact that the rudderfish does sicken but it is not unretentive is not correct is true. sent3: if the fact that the tabard is a kind of open thing that is not bisectional is incorrect the Toltec is not a kind of a orchil. sent4: that the rudderfish sickens but it is not unretentive is not correct if the Toltec does open. sent5: something is a orchil if it does launch Yosemite. sent6: the cartoonist does collect narrow-mindedness. sent7: the Toltec is non-symptomatic thing that is not a narrow-mindedness if it does not open. sent8: the Toltec does collect narrow-mindedness. sent9: if the fact that the Toltec is bisectional is correct the dynamometer is bisectional. sent10: the Toltec does not sicken. sent11: the rudderfish is not symptomatic. sent12: the fact that something is unretentive and not a pipsissewa is wrong if it is not a kind of an open. sent13: the Toltec collects narrow-mindedness and it is a kind of a narrow-mindedness. sent14: the Toltec is not bisectional if there exists something such that that it is bisectional and does not sicken is not correct. sent15: the rudderfish is acervate. sent16: the tabard is bisectional. sent17: the dynamometer is bisectional if that the tabard is bisectional hold.
void -> assump1: Let's assume that the Toltec does not open.; sent7 & assump1 -> int1: the Toltec is not symptomatic and it is not a narrow-mindedness.; int1 -> int2: the Toltec is not a narrow-mindedness.; sent13 -> int3: the Toltec is a narrow-mindedness.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the Toltec opens.; int5 & sent4 -> int6: that the rudderfish sickens but it is not unretentive does not hold.; int6 & sent2 -> int7: the dynamometer is not acervate.; sent5 -> int8: the dynamometer is a orchil if it does launch Yosemite.; sent17 & sent16 -> int9: the dynamometer is bisectional.;
the fact that the orient is unretentive and is not a pipsissewa is not correct.
sent12 -> int10: the fact that the orient is unretentive and is not a pipsissewa does not hold if it is not an open.;
$hypothesis$ = the dynamometer is a kind of a orchil and it is bisectional. ; $context$ = sent1: if the rudderfish is not an open that it is bisectional thing that does not sicken does not hold. sent2: the fact that the dynamometer is not acervate if the fact that the rudderfish does sicken but it is not unretentive is not correct is true. sent3: if the fact that the tabard is a kind of open thing that is not bisectional is incorrect the Toltec is not a kind of a orchil. sent4: that the rudderfish sickens but it is not unretentive is not correct if the Toltec does open. sent5: something is a orchil if it does launch Yosemite. sent6: the cartoonist does collect narrow-mindedness. sent7: the Toltec is non-symptomatic thing that is not a narrow-mindedness if it does not open. sent8: the Toltec does collect narrow-mindedness. sent9: if the fact that the Toltec is bisectional is correct the dynamometer is bisectional. sent10: the Toltec does not sicken. sent11: the rudderfish is not symptomatic. sent12: the fact that something is unretentive and not a pipsissewa is wrong if it is not a kind of an open. sent13: the Toltec collects narrow-mindedness and it is a kind of a narrow-mindedness. sent14: the Toltec is not bisectional if there exists something such that that it is bisectional and does not sicken is not correct. sent15: the rudderfish is acervate. sent16: the tabard is bisectional. sent17: the dynamometer is bisectional if that the tabard is bisectional hold. ; $proof$ = 
void -> assump1: Let's assume that the Toltec does not open.; sent7 & assump1 -> int1: the Toltec is not symptomatic and it is not a narrow-mindedness.; int1 -> int2: the Toltec is not a narrow-mindedness.; sent13 -> int3: the Toltec is a narrow-mindedness.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the Toltec opens.; int5 & sent4 -> int6: that the rudderfish sickens but it is not unretentive does not hold.; int6 & sent2 -> int7: the dynamometer is not acervate.; sent5 -> int8: the dynamometer is a orchil if it does launch Yosemite.; sent17 & sent16 -> int9: the dynamometer is bisectional.; __UNKNOWN__