the southwester is quotable.
sent1: if there is something such that it is a aviatrix and a blot then the incendiary is not greater. sent2: if the fact that something is not a stake and does not chock disinclination is not correct then it blots. sent3: if something fleshes carboxyl or it is not greater or both then the pallette does fleshes carboxyl. sent4: if that something is not a blini but it is zoic is not true then it is not familial. sent5: there is something such that that the fact that it is zoic and it does not shatter is right is not correct. sent6: if the crop is a Thrinax it fleshes carboxyl. sent7: the annotator does not stake. sent8: if the crocheting is dacitic then the incendiary is dacitic. sent9: if the fact that the incendiary is not familial and it is not a kind of a aviatrix is false the crop is a aviatrix. sent10: if there is something such that it is not a kind of a Thrinax then the crocheting does blot. sent11: if something that is not a stake does not chock disinclination then the crop is greater. sent12: that the incendiary is not familial and it is not a aviatrix does not hold. sent13: the crop is a Thrinax. sent14: if the incendiary is dacitic then the fact that it is not a blini and it is zoic is not right. sent15: if there is something such that that it is not a kind of a Thrinax hold then the fact that the southwester does not shatter and is a Thrinax is false. sent16: if that the southwester does not shatter but it is a Thrinax does not hold then the crop is not quotable. sent17: the crocheting is dacitic. sent18: the witness is not a Thrinax. sent19: something is not a Thrinax if it is not familial. sent20: something does not chock disinclination. sent21: something is both quotable and not greater. sent22: if something does shatter then it is a aviatrix. sent23: if the annotator is a kind of a blot the southwester is quotable. sent24: the fact that the annotator is a stake and does not chock disinclination is false. sent25: if there is something such that that it is zoic and it does not shatter is not true then the crocheting does shatter. sent26: something that fleshes carboxyl and is greater is not a aviatrix. sent27: something is non-greater if it is a aviatrix and it does not blot.
void -> assump1: Let's assume that the annotator is not a stake and it does not chock disinclination.; assump1 -> int1: there exists something such that it does not stake and does not chock disinclination.; int1 & sent11 -> int2: the crop is greater.; sent6 & sent13 -> int3: the crop does flesh carboxyl.; int2 & int3 -> int4: the crop does flesh carboxyl and it is greater.; sent26 -> int5: if that the crop does flesh carboxyl and is greater is not wrong then it is not a aviatrix.; int4 & int5 -> int6: the crop is not a aviatrix.; sent9 & sent12 -> int7: the crop is a aviatrix.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: that the annotator does not stake and does not chock disinclination is false.; sent2 -> int10: if that the annotator does not stake and does not chock disinclination is not true then it is a blot.; int9 & int10 -> int11: the annotator is a blot.; int11 & sent23 -> hypothesis;
the pallette does flesh carboxyl.
sent27 -> int12: the crop is not greater if it is a aviatrix and it does not blot.; sent19 -> int13: if that the incendiary is not familial is right then it is not a Thrinax.; sent4 -> int14: the incendiary is not familial if that it is not a blini but zoic is not right.; sent8 & sent17 -> int15: the incendiary is dacitic.; sent14 & int15 -> int16: that the incendiary is not a blini but zoic does not hold.; int14 & int16 -> int17: the fact that the incendiary is not familial is true.; int13 & int17 -> int18: the incendiary is not a Thrinax.; int18 -> int19: there is something such that it is not a Thrinax.; int19 & sent15 -> int20: the fact that the fact that the southwester does not shatter and is a Thrinax is not correct is right.; sent16 & int20 -> int21: the crop is not quotable.;
$hypothesis$ = the southwester is quotable. ; $context$ = sent1: if there is something such that it is a aviatrix and a blot then the incendiary is not greater. sent2: if the fact that something is not a stake and does not chock disinclination is not correct then it blots. sent3: if something fleshes carboxyl or it is not greater or both then the pallette does fleshes carboxyl. sent4: if that something is not a blini but it is zoic is not true then it is not familial. sent5: there is something such that that the fact that it is zoic and it does not shatter is right is not correct. sent6: if the crop is a Thrinax it fleshes carboxyl. sent7: the annotator does not stake. sent8: if the crocheting is dacitic then the incendiary is dacitic. sent9: if the fact that the incendiary is not familial and it is not a kind of a aviatrix is false the crop is a aviatrix. sent10: if there is something such that it is not a kind of a Thrinax then the crocheting does blot. sent11: if something that is not a stake does not chock disinclination then the crop is greater. sent12: that the incendiary is not familial and it is not a aviatrix does not hold. sent13: the crop is a Thrinax. sent14: if the incendiary is dacitic then the fact that it is not a blini and it is zoic is not right. sent15: if there is something such that that it is not a kind of a Thrinax hold then the fact that the southwester does not shatter and is a Thrinax is false. sent16: if that the southwester does not shatter but it is a Thrinax does not hold then the crop is not quotable. sent17: the crocheting is dacitic. sent18: the witness is not a Thrinax. sent19: something is not a Thrinax if it is not familial. sent20: something does not chock disinclination. sent21: something is both quotable and not greater. sent22: if something does shatter then it is a aviatrix. sent23: if the annotator is a kind of a blot the southwester is quotable. sent24: the fact that the annotator is a stake and does not chock disinclination is false. sent25: if there is something such that that it is zoic and it does not shatter is not true then the crocheting does shatter. sent26: something that fleshes carboxyl and is greater is not a aviatrix. sent27: something is non-greater if it is a aviatrix and it does not blot. ; $proof$ = 
void -> assump1: Let's assume that the annotator is not a stake and it does not chock disinclination.; assump1 -> int1: there exists something such that it does not stake and does not chock disinclination.; int1 & sent11 -> int2: the crop is greater.; sent6 & sent13 -> int3: the crop does flesh carboxyl.; int2 & int3 -> int4: the crop does flesh carboxyl and it is greater.; sent26 -> int5: if that the crop does flesh carboxyl and is greater is not wrong then it is not a aviatrix.; int4 & int5 -> int6: the crop is not a aviatrix.; sent9 & sent12 -> int7: the crop is a aviatrix.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: that the annotator does not stake and does not chock disinclination is false.; sent2 -> int10: if that the annotator does not stake and does not chock disinclination is not true then it is a blot.; int9 & int10 -> int11: the annotator is a blot.; int11 & sent23 -> hypothesis; __PROVED__