that the absorption is not a parenthood and it is not dumpy does not hold.
sent1: the binger does federalize zeolite if the cumulus is avionics and it is a kind of a GSA. sent2: if the minocycline is not avionics then the fact that it is a kind of non-dumpy thing that is not an overhead is wrong. sent3: if the minocycline is overhead then the absorption is both plantigrade and not a diethylstilbesterol. sent4: if something is not overhead the minocycline is a kind of a invalidator. sent5: the cumulus is not a GSA if the minocycline is avionics. sent6: the minocycline is a invalidator. sent7: the cumulus is avionics but it is not a kind of a GSA if the minocycline is avionics. sent8: the minocycline is avionics and it is a invalidator if there exists something such that it is not overhead. sent9: if the fact that something is a kind of non-dumpy thing that is not an overhead does not hold it is dumpy. sent10: if that the binger does not federalize zeolite does not hold then the absorption is not a parenthood and not dumpy. sent11: something is not a kind of an overhead. sent12: if the cumulus is avionics and is not a GSA the binger does federalize zeolite. sent13: there exists something such that it is an overhead. sent14: the minocycline is not avionics if the cumulus is not a invalidator and it is not avionics. sent15: the cumulus is not a kind of a GSA.
sent11 & sent8 -> int1: the minocycline is avionics and it is a invalidator.; int1 -> int2: the minocycline is avionics.; sent7 & int2 -> int3: the cumulus is avionics but it is not a GSA.; sent12 & int3 -> int4: the fact that the binger federalizes zeolite is right.; sent10 & int4 -> hypothesis;
the absorption is a kind of a plantigrade but it is not a diethylstilbesterol.
$hypothesis$ = that the absorption is not a parenthood and it is not dumpy does not hold. ; $context$ = sent1: the binger does federalize zeolite if the cumulus is avionics and it is a kind of a GSA. sent2: if the minocycline is not avionics then the fact that it is a kind of non-dumpy thing that is not an overhead is wrong. sent3: if the minocycline is overhead then the absorption is both plantigrade and not a diethylstilbesterol. sent4: if something is not overhead the minocycline is a kind of a invalidator. sent5: the cumulus is not a GSA if the minocycline is avionics. sent6: the minocycline is a invalidator. sent7: the cumulus is avionics but it is not a kind of a GSA if the minocycline is avionics. sent8: the minocycline is avionics and it is a invalidator if there exists something such that it is not overhead. sent9: if the fact that something is a kind of non-dumpy thing that is not an overhead does not hold it is dumpy. sent10: if that the binger does not federalize zeolite does not hold then the absorption is not a parenthood and not dumpy. sent11: something is not a kind of an overhead. sent12: if the cumulus is avionics and is not a GSA the binger does federalize zeolite. sent13: there exists something such that it is an overhead. sent14: the minocycline is not avionics if the cumulus is not a invalidator and it is not avionics. sent15: the cumulus is not a kind of a GSA. ; $proof$ = 
sent11 & sent8 -> int1: the minocycline is avionics and it is a invalidator.; int1 -> int2: the minocycline is avionics.; sent7 & int2 -> int3: the cumulus is avionics but it is not a GSA.; sent12 & int3 -> int4: the fact that the binger federalizes zeolite is right.; sent10 & int4 -> hypothesis; __DISPROVED__