the fact that there exists something such that if that it does not overbear and it is a kind of a capital does not hold then it uproots does not hold.
sent1: something does uproot if that it does not overbear and is a kind of a capital does not hold. sent2: there exists something such that if it is not a Yuan it is a kind of a vernier. sent3: the fact that there exists something such that if it is not a kind of a band and is covalent then it does befall is correct. sent4: if the fact that the gymslip does overbear and is a capital does not hold then it uproots. sent5: something is a sway if that it is a feline and it dilates gymslip is false.
sent1 -> int1: the gymslip uproots if the fact that it does not overbear and is a capital is false.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if that it does not overbear and it is a kind of a capital does not hold then it uproots does not hold. ; $context$ = sent1: something does uproot if that it does not overbear and is a kind of a capital does not hold. sent2: there exists something such that if it is not a Yuan it is a kind of a vernier. sent3: the fact that there exists something such that if it is not a kind of a band and is covalent then it does befall is correct. sent4: if the fact that the gymslip does overbear and is a capital does not hold then it uproots. sent5: something is a sway if that it is a feline and it dilates gymslip is false. ; $proof$ = 
sent1 -> int1: the gymslip uproots if the fact that it does not overbear and is a capital is false.; int1 -> hypothesis; __DISPROVED__