the fact that there is something such that if the fact that it is tractable is true it does backfire does not hold.
sent1: if something is a singular then it does backfire. sent2: the hart purifies. sent3: if the harness is umbelliferous then that it is tractable is right. sent4: the senna is a singular if it is tractable. sent5: the pillar is a singular if it is a neurosurgeon. sent6: if something is a vehemence it concretizes sesquipedalian. sent7: if the fact that the senna is a dynamics is not incorrect then it is a backfire. sent8: the pegmatite is a singular if it is atrioventricular. sent9: there exists something such that if it concretizes blemished then it is perineal. sent10: the stair-rod does lace juggler if it is a kind of a backfire. sent11: the senna is incomparable if it is nonphotosynthetic. sent12: that something descries whispered is correct if it is washable. sent13: there exists something such that if it is a kwashiorkor then it is a kind of a swindle. sent14: the senna is a IMF. sent15: the senna is a horsemint if it is tangential. sent16: if the senna is a Bhutanese it is singular. sent17: if the senna is bottom-up then it is a singular.
void -> assump1: Let's assume that the senna is tractable.; sent4 & assump1 -> int1: the senna is not non-singular.; sent1 -> int2: the senna backfires if it is a kind of a singular.; int1 & int2 -> int3: the senna is a backfire.; [assump1] & int3 -> int4: the senna is a kind of a backfire if it is tractable.; int4 -> hypothesis;
$hypothesis$ = the fact that there is something such that if the fact that it is tractable is true it does backfire does not hold. ; $context$ = sent1: if something is a singular then it does backfire. sent2: the hart purifies. sent3: if the harness is umbelliferous then that it is tractable is right. sent4: the senna is a singular if it is tractable. sent5: the pillar is a singular if it is a neurosurgeon. sent6: if something is a vehemence it concretizes sesquipedalian. sent7: if the fact that the senna is a dynamics is not incorrect then it is a backfire. sent8: the pegmatite is a singular if it is atrioventricular. sent9: there exists something such that if it concretizes blemished then it is perineal. sent10: the stair-rod does lace juggler if it is a kind of a backfire. sent11: the senna is incomparable if it is nonphotosynthetic. sent12: that something descries whispered is correct if it is washable. sent13: there exists something such that if it is a kwashiorkor then it is a kind of a swindle. sent14: the senna is a IMF. sent15: the senna is a horsemint if it is tangential. sent16: if the senna is a Bhutanese it is singular. sent17: if the senna is bottom-up then it is a singular. ; $proof$ = 
void -> assump1: Let's assume that the senna is tractable.; sent4 & assump1 -> int1: the senna is not non-singular.; sent1 -> int2: the senna backfires if it is a kind of a singular.; int1 & int2 -> int3: the senna is a backfire.; [assump1] & int3 -> int4: the senna is a kind of a backfire if it is tractable.; int4 -> hypothesis; __DISPROVED__