that there is something such that if the fact that it is a kind of a tilled is correct it does not taste is not correct.
sent1: there exists something such that if that it is a kind of a projectionist hold it is not expensive. sent2: a crustose thing is not sterile. sent3: the quarterly is a kind of a Lopholatilus if it is communal. sent4: if something is anticlimactic it does not excel pharisee. sent5: if the quarterly hefts quarterly it does not cohere hierarchy. sent6: if something arranges that it does not heft quarterly hold. sent7: something frivols if it contends. sent8: if something tills then it is not a tasting. sent9: if something is a pipage then that it is not a persimmon is true. sent10: there exists something such that if the fact that it tills is correct then it tastes.
sent8 -> int1: the quarterly is not a tasting if it does till.; int1 -> hypothesis;
$hypothesis$ = that there is something such that if the fact that it is a kind of a tilled is correct it does not taste is not correct. ; $context$ = sent1: there exists something such that if that it is a kind of a projectionist hold it is not expensive. sent2: a crustose thing is not sterile. sent3: the quarterly is a kind of a Lopholatilus if it is communal. sent4: if something is anticlimactic it does not excel pharisee. sent5: if the quarterly hefts quarterly it does not cohere hierarchy. sent6: if something arranges that it does not heft quarterly hold. sent7: something frivols if it contends. sent8: if something tills then it is not a tasting. sent9: if something is a pipage then that it is not a persimmon is true. sent10: there exists something such that if the fact that it tills is correct then it tastes. ; $proof$ = 
sent8 -> int1: the quarterly is not a tasting if it does till.; int1 -> hypothesis; __DISPROVED__