there is something such that if it is not non-Shinto then it is shrinkable.
sent1: if that the hydrometer is a humpback is not wrong that the work-shirt is not apneic and it is not infantile is incorrect. sent2: that there is something such that that it is Levitical and it is not a tracheostomy does not hold is not incorrect. sent3: the hydrometer is not exportable and/or it does volunteer if there is something such that it is not exportable. sent4: if the endocranium is not shrinkable it is a kind of a Shinto. sent5: if the endocranium is not shrinkable it is not a Shinto. sent6: something that is not exportable and/or does volunteer is a humpback. sent7: that the phosphorus does not assume switchboard and is exportable is false if something is a tracheostomy. sent8: if something is not shrinkable then the endocranium does assume phosphorus. sent9: the endocranium is not Shinto if it is shrinkable. sent10: something that does not prickle does prepare. sent11: if that something does not assume switchboard but it is exportable is not right it is not exportable. sent12: if there exists something such that the fact that it is shrinkable and not Shinto is not true the batten is not shrinkable. sent13: if there is something such that that it is Levitical and is not a kind of a tracheostomy is wrong then the synthesist is a tracheostomy. sent14: if the fact that something is not apneic and it is not infantile does not hold it does not prickle. sent15: if the cookstove does not spend ampicillin then that it is not shrinkable is not false. sent16: that something is shrinkable and is not a kind of a Shinto does not hold if the fact that it prepares is not false.
void -> assump1: Let's assume that the endocranium is not shrinkable.; sent5 & assump1 -> int1: that the endocranium is not a Shinto is not incorrect.; void -> assump2: Let's assume that the endocranium is a Shinto.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the endocranium is shrinkable.; [assump2] & int3 -> int4: the endocranium is shrinkable if it is a kind of a Shinto.; int4 -> hypothesis;
the endocranium does assume phosphorus.
sent16 -> int5: if the work-shirt does prepare the fact that it is shrinkable and it is not a kind of a Shinto is false.; sent10 -> int6: the work-shirt does prepare if the fact that it does not prickle is correct.; sent14 -> int7: if the fact that the work-shirt is not apneic and is not infantile is false it does not prickle.; sent6 -> int8: if the hydrometer either is not exportable or volunteers or both that it is a humpback is correct.; sent11 -> int9: the phosphorus is not exportable if that it does not assume switchboard and is exportable is false.; sent2 & sent13 -> int10: the synthesist is a tracheostomy.; int10 -> int11: there is something such that it is a tracheostomy.; int11 & sent7 -> int12: the fact that the phosphorus does not assume switchboard but it is not unexportable does not hold.; int9 & int12 -> int13: the phosphorus is not exportable.; int13 -> int14: there are unexportable things.; int14 & sent3 -> int15: the hydrometer is not exportable or it volunteers or both.; int8 & int15 -> int16: the hydrometer is a humpback.; sent1 & int16 -> int17: the fact that the work-shirt is not apneic and not infantile is wrong.; int7 & int17 -> int18: the work-shirt does not prickle.; int6 & int18 -> int19: that the work-shirt prepares is not incorrect.; int5 & int19 -> int20: the fact that the work-shirt is both shrinkable and not Shinto is not true.; int20 -> int21: there exists something such that the fact that it is both shrinkable and non-Shinto is not correct.; int21 & sent12 -> int22: the batten is not shrinkable.; int22 -> int23: something is not shrinkable.; int23 & sent8 -> hypothesis;
$hypothesis$ = there is something such that if it is not non-Shinto then it is shrinkable. ; $context$ = sent1: if that the hydrometer is a humpback is not wrong that the work-shirt is not apneic and it is not infantile is incorrect. sent2: that there is something such that that it is Levitical and it is not a tracheostomy does not hold is not incorrect. sent3: the hydrometer is not exportable and/or it does volunteer if there is something such that it is not exportable. sent4: if the endocranium is not shrinkable it is a kind of a Shinto. sent5: if the endocranium is not shrinkable it is not a Shinto. sent6: something that is not exportable and/or does volunteer is a humpback. sent7: that the phosphorus does not assume switchboard and is exportable is false if something is a tracheostomy. sent8: if something is not shrinkable then the endocranium does assume phosphorus. sent9: the endocranium is not Shinto if it is shrinkable. sent10: something that does not prickle does prepare. sent11: if that something does not assume switchboard but it is exportable is not right it is not exportable. sent12: if there exists something such that the fact that it is shrinkable and not Shinto is not true the batten is not shrinkable. sent13: if there is something such that that it is Levitical and is not a kind of a tracheostomy is wrong then the synthesist is a tracheostomy. sent14: if the fact that something is not apneic and it is not infantile does not hold it does not prickle. sent15: if the cookstove does not spend ampicillin then that it is not shrinkable is not false. sent16: that something is shrinkable and is not a kind of a Shinto does not hold if the fact that it prepares is not false. ; $proof$ = 
void -> assump1: Let's assume that the endocranium is not shrinkable.; sent5 & assump1 -> int1: that the endocranium is not a Shinto is not incorrect.; void -> assump2: Let's assume that the endocranium is a Shinto.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the endocranium is shrinkable.; [assump2] & int3 -> int4: the endocranium is shrinkable if it is a kind of a Shinto.; int4 -> hypothesis; __PROVED__