the polymer is a doorframe.
sent1: the polymer does not clasp if it is a demonstrative or it is a kind of a manned or both. sent2: the cutaway is not a Lepidocybium if the slapstick is a kind of non-antitypic thing that is not a Maseru. sent3: the polymer is a stint if it is not a doorframe. sent4: the foreperson does not housekeep slapstick if the jurisdiction does not sidle and it does not freeze-dry hisser. sent5: something is not an exploration and it does not housekeep fly if it is not a clasp. sent6: the havelock does not housekeep fly and does not freeze-dry anion. sent7: if something does not freeze-dry hisser then the pulque does not sidle. sent8: the foreperson does housekeep slapstick if the polymer is not an exploration and does not housekeep fly. sent9: if something does not freeze-dry hisser then the fact that it is not an exploration is correct. sent10: if the foreperson is not a kind of an antigen it is non-attachable thing that does not housekeep fly. sent11: if the polymer is not a doorframe then it does not approach shirttail and stints. sent12: if the polymer does not approach shirttail but it is a stint it is not undemonstrative. sent13: the polymer does stint. sent14: either something is not a kind of a manned or it is a kind of a demonstrative or both if it is not a kind of a clasp. sent15: the fact that the foreperson is not rustless and does not scar hold. sent16: the jurisdiction does not housekeep fly if there is something such that the fact that it housekeeps slapstick and is not an exploration is not true. sent17: the jurisdiction does not sidle and does not freeze-dry hisser. sent18: the fact that the pedometer is a guarded that reships is wrong if the cutaway is not a Lepidocybium. sent19: the slapstick is not antitypic and is not a Maseru. sent20: the hisser is a kind of a NY if the polymer is a NY. sent21: if that the foreperson is a clasp and does housekeep fly is not correct it does not clasp. sent22: if there is something such that the fact that it is a guarded and it reships is not true then the theremin does not freeze-dry hisser. sent23: the jurisdiction is undemonstrative. sent24: if something does not sidle that it does housekeep slapstick and it is not an exploration is false. sent25: if there exists something such that it does not housekeep fly the fact that the foreperson is a kind of a clasp that housekeep fly is not true.
void -> assump1: Let's assume that the polymer is not a doorframe.; sent11 & assump1 -> int1: the polymer does not approach shirttail and is a kind of a stint.; int1 & sent12 -> int2: the polymer is a kind of a demonstrative.; int2 -> int3: either the polymer is a demonstrative or it is a manned or both.; int3 & sent1 -> int4: the polymer does not clasp.; sent5 -> int5: if the polymer is not a kind of a clasp it is not an exploration and it does not housekeep fly.; int4 & int5 -> int6: the polymer is not a kind of an exploration and does not housekeep fly.; int6 & sent8 -> int7: the foreperson housekeeps slapstick.; sent4 & sent17 -> int8: the foreperson does not housekeep slapstick.; int7 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
the hisser is either fewest or a NY or both.
$hypothesis$ = the polymer is a doorframe. ; $context$ = sent1: the polymer does not clasp if it is a demonstrative or it is a kind of a manned or both. sent2: the cutaway is not a Lepidocybium if the slapstick is a kind of non-antitypic thing that is not a Maseru. sent3: the polymer is a stint if it is not a doorframe. sent4: the foreperson does not housekeep slapstick if the jurisdiction does not sidle and it does not freeze-dry hisser. sent5: something is not an exploration and it does not housekeep fly if it is not a clasp. sent6: the havelock does not housekeep fly and does not freeze-dry anion. sent7: if something does not freeze-dry hisser then the pulque does not sidle. sent8: the foreperson does housekeep slapstick if the polymer is not an exploration and does not housekeep fly. sent9: if something does not freeze-dry hisser then the fact that it is not an exploration is correct. sent10: if the foreperson is not a kind of an antigen it is non-attachable thing that does not housekeep fly. sent11: if the polymer is not a doorframe then it does not approach shirttail and stints. sent12: if the polymer does not approach shirttail but it is a stint it is not undemonstrative. sent13: the polymer does stint. sent14: either something is not a kind of a manned or it is a kind of a demonstrative or both if it is not a kind of a clasp. sent15: the fact that the foreperson is not rustless and does not scar hold. sent16: the jurisdiction does not housekeep fly if there is something such that the fact that it housekeeps slapstick and is not an exploration is not true. sent17: the jurisdiction does not sidle and does not freeze-dry hisser. sent18: the fact that the pedometer is a guarded that reships is wrong if the cutaway is not a Lepidocybium. sent19: the slapstick is not antitypic and is not a Maseru. sent20: the hisser is a kind of a NY if the polymer is a NY. sent21: if that the foreperson is a clasp and does housekeep fly is not correct it does not clasp. sent22: if there is something such that the fact that it is a guarded and it reships is not true then the theremin does not freeze-dry hisser. sent23: the jurisdiction is undemonstrative. sent24: if something does not sidle that it does housekeep slapstick and it is not an exploration is false. sent25: if there exists something such that it does not housekeep fly the fact that the foreperson is a kind of a clasp that housekeep fly is not true. ; $proof$ = 
void -> assump1: Let's assume that the polymer is not a doorframe.; sent11 & assump1 -> int1: the polymer does not approach shirttail and is a kind of a stint.; int1 & sent12 -> int2: the polymer is a kind of a demonstrative.; int2 -> int3: either the polymer is a demonstrative or it is a manned or both.; int3 & sent1 -> int4: the polymer does not clasp.; sent5 -> int5: if the polymer is not a kind of a clasp it is not an exploration and it does not housekeep fly.; int4 & int5 -> int6: the polymer is not a kind of an exploration and does not housekeep fly.; int6 & sent8 -> int7: the foreperson housekeeps slapstick.; sent4 & sent17 -> int8: the foreperson does not housekeep slapstick.; int7 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __PROVED__