the ladyfinger is a Kuki if the proofreader is a Yanan.
sent1: if something does not ape then it is traumatic. sent2: there exists something such that the fact that it superannuates and is not a goosander does not hold. sent3: if something is not a Yanan or a Kuki or both it acquaints wormhole. sent4: there exists something such that it acquaints poignance. sent5: the fact that the proofreader is a barrage hold if there exists something such that that it does not acquaint Indriidae and it is not iconic does not hold. sent6: the proofreader acquaints wormhole if there is something such that it is a barrage. sent7: the proofreader does staple cluttered. sent8: there exists something such that that it does not acquaint Indriidae and is not iconic is not right. sent9: if the fact that the constitutionalist either is a coordination or is a Papuan or both is incorrect then it is not noninheritable. sent10: something is a kind of a coordination if it does not acquaint wormhole and/or it is nonsubmersible. sent11: the proofreader is not a Kuki or it acquaints wormhole or both. sent12: the proofreader is nonsubmersible if something that is a kind of a coordination is a kind of a barrage. sent13: the proofreader is not a barrage if that it does not acquaint wormhole and/or it is nonsubmersible is wrong. sent14: the wormhole is a barrage. sent15: there exists something such that that it is nonsubmersible and it is not a kind of a Kuki does not hold. sent16: there is something such that that it is both a barrage and not nonsubmersible is not true. sent17: there is something such that it is a barrage. sent18: there is something such that that it acquaints wormhole and is not a kind of a barrage is incorrect. sent19: if a coordination is a Yanan then the ladyfinger is a kind of a Kuki. sent20: there is something such that that it is not a palatability and is a Dysdercus is not correct. sent21: there exists something such that the fact that it is not a buffalo and it is canalicular is not right. sent22: if the fact that the ladyfinger does not acquaint wormhole and/or is chancrous is not correct it is not a kind of a spindrift. sent23: the fact that there exists something such that that it is a Kuki and it is not a Yanan is false hold. sent24: if the proofreader is a Kuki the ladyfinger is a barrage. sent25: there is something such that it is atherosclerotic.
void -> assump1: Let's assume that that either the proofreader does not acquaint wormhole or it is nonsubmersible or both is incorrect.; sent13 & assump1 -> int1: the proofreader is not a barrage.; sent8 & sent5 -> int2: the proofreader is a kind of a barrage.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the proofreader does not acquaint wormhole or it is nonsubmersible or both.; sent10 -> int5: if the proofreader does not acquaint wormhole and/or it is nonsubmersible it is a kind of a coordination.; int4 & int5 -> int6: the proofreader is a kind of a coordination.; void -> assump2: Let's assume that the proofreader is a kind of a Yanan.; int6 & assump2 -> int7: the proofreader is a coordination and a Yanan.; int7 -> int8: there exists something such that it is a coordination that is a Yanan.; int8 & sent19 -> int9: the ladyfinger is a kind of a Kuki.; [assump2] & int9 -> hypothesis;
$hypothesis$ = the ladyfinger is a Kuki if the proofreader is a Yanan. ; $context$ = sent1: if something does not ape then it is traumatic. sent2: there exists something such that the fact that it superannuates and is not a goosander does not hold. sent3: if something is not a Yanan or a Kuki or both it acquaints wormhole. sent4: there exists something such that it acquaints poignance. sent5: the fact that the proofreader is a barrage hold if there exists something such that that it does not acquaint Indriidae and it is not iconic does not hold. sent6: the proofreader acquaints wormhole if there is something such that it is a barrage. sent7: the proofreader does staple cluttered. sent8: there exists something such that that it does not acquaint Indriidae and is not iconic is not right. sent9: if the fact that the constitutionalist either is a coordination or is a Papuan or both is incorrect then it is not noninheritable. sent10: something is a kind of a coordination if it does not acquaint wormhole and/or it is nonsubmersible. sent11: the proofreader is not a Kuki or it acquaints wormhole or both. sent12: the proofreader is nonsubmersible if something that is a kind of a coordination is a kind of a barrage. sent13: the proofreader is not a barrage if that it does not acquaint wormhole and/or it is nonsubmersible is wrong. sent14: the wormhole is a barrage. sent15: there exists something such that that it is nonsubmersible and it is not a kind of a Kuki does not hold. sent16: there is something such that that it is both a barrage and not nonsubmersible is not true. sent17: there is something such that it is a barrage. sent18: there is something such that that it acquaints wormhole and is not a kind of a barrage is incorrect. sent19: if a coordination is a Yanan then the ladyfinger is a kind of a Kuki. sent20: there is something such that that it is not a palatability and is a Dysdercus is not correct. sent21: there exists something such that the fact that it is not a buffalo and it is canalicular is not right. sent22: if the fact that the ladyfinger does not acquaint wormhole and/or is chancrous is not correct it is not a kind of a spindrift. sent23: the fact that there exists something such that that it is a Kuki and it is not a Yanan is false hold. sent24: if the proofreader is a Kuki the ladyfinger is a barrage. sent25: there is something such that it is atherosclerotic. ; $proof$ = 
void -> assump1: Let's assume that that either the proofreader does not acquaint wormhole or it is nonsubmersible or both is incorrect.; sent13 & assump1 -> int1: the proofreader is not a barrage.; sent8 & sent5 -> int2: the proofreader is a kind of a barrage.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the proofreader does not acquaint wormhole or it is nonsubmersible or both.; sent10 -> int5: if the proofreader does not acquaint wormhole and/or it is nonsubmersible it is a kind of a coordination.; int4 & int5 -> int6: the proofreader is a kind of a coordination.; void -> assump2: Let's assume that the proofreader is a kind of a Yanan.; int6 & assump2 -> int7: the proofreader is a coordination and a Yanan.; int7 -> int8: there exists something such that it is a coordination that is a Yanan.; int8 & sent19 -> int9: the ladyfinger is a kind of a Kuki.; [assump2] & int9 -> hypothesis; __PROVED__