the aggravator is a kind of a hypoxia.
sent1: there exists something such that it does not persevere and it is not a Friedman. sent2: the calcimine is a seashore. sent3: if the collier does twig and does quit then the aggravator is not a hypoxia. sent4: the collier twigs if the spacewalker is a kind of a lutist. sent5: the spacewalker is a lutist if the sarcosine does not unionize yaws and does colonize. sent6: that the complex is not stoloniferous is incorrect. sent7: that if there exists something such that the fact that it is a seashore is not incorrect then the collier does quit and is a giver is true. sent8: the sarcosine is not lossless if something that does not persevere is not a Friedman. sent9: something does not unionize yaws and colonizes if it is not lossless. sent10: the sarcosine does colonize. sent11: if something does not unionize yaws and/or it is lossless it is not a Methodist.
sent1 & sent8 -> int1: the sarcosine is not lossless.; sent9 -> int2: if the sarcosine is not lossless then it does not unionize yaws and it does colonize.; int1 & int2 -> int3: the sarcosine does not unionize yaws and colonizes.; int3 & sent5 -> int4: the spacewalker is a lutist.; int4 & sent4 -> int5: the collier twigs.; sent2 -> int6: there is something such that it is a seashore.; int6 & sent7 -> int7: the collier does quit and it is a kind of a giver.; int7 -> int8: the collier does quit.; int5 & int8 -> int9: the collier does twig and it does quit.; int9 & sent3 -> hypothesis;
the bradawl is not Methodist but a reactor.
sent11 -> int10: the bradawl is not a Methodist if it does not unionize yaws and/or it is lossless.;
$hypothesis$ = the aggravator is a kind of a hypoxia. ; $context$ = sent1: there exists something such that it does not persevere and it is not a Friedman. sent2: the calcimine is a seashore. sent3: if the collier does twig and does quit then the aggravator is not a hypoxia. sent4: the collier twigs if the spacewalker is a kind of a lutist. sent5: the spacewalker is a lutist if the sarcosine does not unionize yaws and does colonize. sent6: that the complex is not stoloniferous is incorrect. sent7: that if there exists something such that the fact that it is a seashore is not incorrect then the collier does quit and is a giver is true. sent8: the sarcosine is not lossless if something that does not persevere is not a Friedman. sent9: something does not unionize yaws and colonizes if it is not lossless. sent10: the sarcosine does colonize. sent11: if something does not unionize yaws and/or it is lossless it is not a Methodist. ; $proof$ = 
sent1 & sent8 -> int1: the sarcosine is not lossless.; sent9 -> int2: if the sarcosine is not lossless then it does not unionize yaws and it does colonize.; int1 & int2 -> int3: the sarcosine does not unionize yaws and colonizes.; int3 & sent5 -> int4: the spacewalker is a lutist.; int4 & sent4 -> int5: the collier twigs.; sent2 -> int6: there is something such that it is a seashore.; int6 & sent7 -> int7: the collier does quit and it is a kind of a giver.; int7 -> int8: the collier does quit.; int5 & int8 -> int9: the collier does twig and it does quit.; int9 & sent3 -> hypothesis; __DISPROVED__