the middleweight is syncarpous and it is a Danaidae.
sent1: that the ryegrass is a Podocarpus hold. sent2: the toyon is an absolute. sent3: if the ryegrass is not a chelation and does shine potholder it is not an absolute. sent4: something does not shine potholder if it does accommodate supernumerary. sent5: if either the middleweight is not a kind of an upright or it is not an unknown or both then it is absolute. sent6: the fact that the zinnwaldite does float and it is a reversible is wrong. sent7: if the tailback is not nodular or it is not a Danaidae or both it accommodates supernumerary. sent8: that the tailback is syncarpous is not false. sent9: the tailback does accommodate supernumerary. sent10: The supernumerary does accommodate tailback. sent11: the tailback is syncarpous if that the middleweight is not an upright but an unknown is wrong. sent12: the middleweight is upright and/or not an unknown. sent13: if the middleweight is absolute then the tailback does shine potholder. sent14: if the ryegrass is not an absolute then the fact that that the middleweight is not upright but an unknown is true is incorrect. sent15: if something is a kind of an aggressor it does accommodate supernumerary. sent16: that something is syncarpous if it is a kind of a chelation is true. sent17: the tailback is unknown. sent18: the tailback is a kind of an absolute if the middleweight does shine potholder. sent19: if the middleweight is an upright then it is a chelation. sent20: if the ryegrass is a Podocarpus then the fact that it is nodular is not false. sent21: the dabchick is a kind of a sheepskin and it is diaphoretic. sent22: something that is nodular and does accommodate supernumerary is not a Danaidae. sent23: that the middleweight does redden Cassius hold. sent24: the flurbiprofen does not rehearse and/or does not elope.
void -> assump1: Let's assume that the middleweight is not an upright.; assump1 -> int1: either the middleweight is not upright or it is not an unknown or both.; int1 & sent5 -> int2: the fact that the middleweight is an absolute is right.; int2 & sent13 -> int3: the tailback does shine potholder.; sent4 -> int4: if the tailback accommodates supernumerary it does not shine potholder.; int4 & sent9 -> int5: the tailback does not shine potholder.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the middleweight is an upright.; int7 & sent19 -> int8: the middleweight is a chelation.; sent16 -> int9: the middleweight is syncarpous if it is a kind of a chelation.; int8 & int9 -> int10: the middleweight is syncarpous.;
the tailback is syncarpous.
sent22 -> int11: the ryegrass is not a Danaidae if it is nodular and it does accommodate supernumerary.; sent20 & sent1 -> int12: the ryegrass is nodular.; sent15 -> int13: the ryegrass does accommodate supernumerary if it is an aggressor.; sent6 -> int14: there exists something such that that it is both a float and a reversible is not right.;
$hypothesis$ = the middleweight is syncarpous and it is a Danaidae. ; $context$ = sent1: that the ryegrass is a Podocarpus hold. sent2: the toyon is an absolute. sent3: if the ryegrass is not a chelation and does shine potholder it is not an absolute. sent4: something does not shine potholder if it does accommodate supernumerary. sent5: if either the middleweight is not a kind of an upright or it is not an unknown or both then it is absolute. sent6: the fact that the zinnwaldite does float and it is a reversible is wrong. sent7: if the tailback is not nodular or it is not a Danaidae or both it accommodates supernumerary. sent8: that the tailback is syncarpous is not false. sent9: the tailback does accommodate supernumerary. sent10: The supernumerary does accommodate tailback. sent11: the tailback is syncarpous if that the middleweight is not an upright but an unknown is wrong. sent12: the middleweight is upright and/or not an unknown. sent13: if the middleweight is absolute then the tailback does shine potholder. sent14: if the ryegrass is not an absolute then the fact that that the middleweight is not upright but an unknown is true is incorrect. sent15: if something is a kind of an aggressor it does accommodate supernumerary. sent16: that something is syncarpous if it is a kind of a chelation is true. sent17: the tailback is unknown. sent18: the tailback is a kind of an absolute if the middleweight does shine potholder. sent19: if the middleweight is an upright then it is a chelation. sent20: if the ryegrass is a Podocarpus then the fact that it is nodular is not false. sent21: the dabchick is a kind of a sheepskin and it is diaphoretic. sent22: something that is nodular and does accommodate supernumerary is not a Danaidae. sent23: that the middleweight does redden Cassius hold. sent24: the flurbiprofen does not rehearse and/or does not elope. ; $proof$ = 
void -> assump1: Let's assume that the middleweight is not an upright.; assump1 -> int1: either the middleweight is not upright or it is not an unknown or both.; int1 & sent5 -> int2: the fact that the middleweight is an absolute is right.; int2 & sent13 -> int3: the tailback does shine potholder.; sent4 -> int4: if the tailback accommodates supernumerary it does not shine potholder.; int4 & sent9 -> int5: the tailback does not shine potholder.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the middleweight is an upright.; int7 & sent19 -> int8: the middleweight is a chelation.; sent16 -> int9: the middleweight is syncarpous if it is a kind of a chelation.; int8 & int9 -> int10: the middleweight is syncarpous.; __UNKNOWN__