the elution is a kind of a Charlestown that does not intimate.
sent1: if the rape is not Congregational then the fact that it is a recovery and it is not chlorotic is not correct. sent2: the elution is Congregational if it is a recovery. sent3: the elution does not intimate. sent4: if the rape is Congregational the fact that the cruet-stand is not a bundle and is not non-residual does not hold. sent5: that the rape is a kind of a recovery and it is chlorotic is wrong. sent6: if the rape is not Congregational the fact that it is a recovery and it is chlorotic does not hold. sent7: if the rape is Congregational then the fact that the cruet-stand is not a bundle and it is not residual does not hold. sent8: there exists something such that it is a kind of a recovery that is not chlorotic. sent9: that something is bare but it does not read scarab is wrong if it does not bundle. sent10: if the rape is Congregational then that the cruet-stand is a bundle but it is not residual is not true. sent11: the fact that the cruet-stand is not a kind of a bundle but it is a residual is incorrect. sent12: there is something such that that it intimates and it is residual does not hold. sent13: the fact that something is a Charlestown and does not intimate is false if it is Congregational. sent14: that the cruet-stand is not a bundle and it is not a kind of a residual is not wrong.
void -> assump1: Let's assume that the fact that the rape is Congregational is not wrong.; sent7 & assump1 -> int1: the fact that the cruet-stand is not a kind of a bundle and is not a residual is wrong.; int1 & sent14 -> int2: this is contradiction.; [assump1] & int2 -> int3: the rape is not Congregational.; int3 & sent1 -> int4: that the rape is a recovery and is non-chlorotic is incorrect.; int4 -> int5: there exists something such that the fact that it is a kind of a recovery and is not chlorotic does not hold.;
the fact that the azoimide is a kind of bare thing that does not read scarab is incorrect if it is not a bundle.
sent9 -> hypothesis;
$hypothesis$ = the elution is a kind of a Charlestown that does not intimate. ; $context$ = sent1: if the rape is not Congregational then the fact that it is a recovery and it is not chlorotic is not correct. sent2: the elution is Congregational if it is a recovery. sent3: the elution does not intimate. sent4: if the rape is Congregational the fact that the cruet-stand is not a bundle and is not non-residual does not hold. sent5: that the rape is a kind of a recovery and it is chlorotic is wrong. sent6: if the rape is not Congregational the fact that it is a recovery and it is chlorotic does not hold. sent7: if the rape is Congregational then the fact that the cruet-stand is not a bundle and it is not residual does not hold. sent8: there exists something such that it is a kind of a recovery that is not chlorotic. sent9: that something is bare but it does not read scarab is wrong if it does not bundle. sent10: if the rape is Congregational then that the cruet-stand is a bundle but it is not residual is not true. sent11: the fact that the cruet-stand is not a kind of a bundle but it is a residual is incorrect. sent12: there is something such that that it intimates and it is residual does not hold. sent13: the fact that something is a Charlestown and does not intimate is false if it is Congregational. sent14: that the cruet-stand is not a bundle and it is not a kind of a residual is not wrong. ; $proof$ = 
void -> assump1: Let's assume that the fact that the rape is Congregational is not wrong.; sent7 & assump1 -> int1: the fact that the cruet-stand is not a kind of a bundle and is not a residual is wrong.; int1 & sent14 -> int2: this is contradiction.; [assump1] & int2 -> int3: the rape is not Congregational.; int3 & sent1 -> int4: that the rape is a recovery and is non-chlorotic is incorrect.; int4 -> int5: there exists something such that the fact that it is a kind of a recovery and is not chlorotic does not hold.; __UNKNOWN__