the fact that the bedpost is an aberration and it is a boardwalk is not right.
sent1: the morgue does misremember movability and it is unacceptable if the longitude is not an option. sent2: the plankton is not phenotypical. sent3: if that the longitude is both not an option and not a stocktake is not true the bedpost is an aberration. sent4: the longitude is not an option if the fact that the bedpost is a kind of an option but it is not an aberration is not correct. sent5: the fact that that the alluvion is not tricentenary and it is not unacceptable does not hold is not incorrect. sent6: if the fact that the alluvion is not tricentenary and it is not unacceptable is incorrect then the bedpost is a boardwalk. sent7: if the fact that the voter is both a stocktake and tricentenary is not correct the alluvion is not a kind of a stocktake. sent8: if that something is cellular thing that is solvent is incorrect it is not an option. sent9: if the plankton is not phenotypical that it is both not a boardwalk and tricentenary does not hold. sent10: the fact that something is not non-tricentenary and is a stocktake is not right if it is acceptable. sent11: if the subsidiary is not a kind of an option then the fact that the longitude is not an option and it is not a stocktake is not true. sent12: there exists nothing such that it is cellular and is solvent.
sent12 -> int1: that the subsidiary is a kind of cellular thing that is a kind of a solvent is not correct.; sent8 -> int2: the subsidiary is not an option if the fact that it is cellular and it is a kind of a solvent is not true.; int1 & int2 -> int3: the fact that the subsidiary is not an option is not wrong.; int3 & sent11 -> int4: the fact that the longitude is both not an option and not a stocktake is false.; int4 & sent3 -> int5: the bedpost is an aberration.; sent6 & sent5 -> int6: that the bedpost is a boardwalk is not false.; int5 & int6 -> hypothesis;
that the bedpost is an aberration that is a kind of a boardwalk does not hold.
sent10 -> int7: the fact that the alluvion is tricentenary and it is a stocktake does not hold if the fact that it is not unacceptable is right.;
$hypothesis$ = the fact that the bedpost is an aberration and it is a boardwalk is not right. ; $context$ = sent1: the morgue does misremember movability and it is unacceptable if the longitude is not an option. sent2: the plankton is not phenotypical. sent3: if that the longitude is both not an option and not a stocktake is not true the bedpost is an aberration. sent4: the longitude is not an option if the fact that the bedpost is a kind of an option but it is not an aberration is not correct. sent5: the fact that that the alluvion is not tricentenary and it is not unacceptable does not hold is not incorrect. sent6: if the fact that the alluvion is not tricentenary and it is not unacceptable is incorrect then the bedpost is a boardwalk. sent7: if the fact that the voter is both a stocktake and tricentenary is not correct the alluvion is not a kind of a stocktake. sent8: if that something is cellular thing that is solvent is incorrect it is not an option. sent9: if the plankton is not phenotypical that it is both not a boardwalk and tricentenary does not hold. sent10: the fact that something is not non-tricentenary and is a stocktake is not right if it is acceptable. sent11: if the subsidiary is not a kind of an option then the fact that the longitude is not an option and it is not a stocktake is not true. sent12: there exists nothing such that it is cellular and is solvent. ; $proof$ = 
sent12 -> int1: that the subsidiary is a kind of cellular thing that is a kind of a solvent is not correct.; sent8 -> int2: the subsidiary is not an option if the fact that it is cellular and it is a kind of a solvent is not true.; int1 & int2 -> int3: the fact that the subsidiary is not an option is not wrong.; int3 & sent11 -> int4: the fact that the longitude is both not an option and not a stocktake is false.; int4 & sent3 -> int5: the bedpost is an aberration.; sent6 & sent5 -> int6: that the bedpost is a boardwalk is not false.; int5 & int6 -> hypothesis; __DISPROVED__