the fact that there is something such that if it does update pipistrelle then it is ataxic is wrong.
sent1: the dhow does update pipistrelle if it is a kind of a budget. sent2: the dhow is ataxic if it updates pipistrelle. sent3: if the fact that the dhow does speak E-bomb is not false then that it is testimonial hold. sent4: there is something such that if it is a millenarianism it is high-interest. sent5: the hole is a Laver if that it is a kind of an inquiry hold. sent6: there exists something such that if it is a kind of a Sotho it is a budget. sent7: something does speak marblewood if that it is a slough is right. sent8: if the Y is a Laver that it is ataxic is correct. sent9: something is a budget if it is a Bose.
sent2 -> hypothesis;
there exists something such that if the fact that it is a slough is right then it speaks marblewood.
sent7 -> int1: if the E-bomb is a kind of a slough then it speaks marblewood.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it does update pipistrelle then it is ataxic is wrong. ; $context$ = sent1: the dhow does update pipistrelle if it is a kind of a budget. sent2: the dhow is ataxic if it updates pipistrelle. sent3: if the fact that the dhow does speak E-bomb is not false then that it is testimonial hold. sent4: there is something such that if it is a millenarianism it is high-interest. sent5: the hole is a Laver if that it is a kind of an inquiry hold. sent6: there exists something such that if it is a kind of a Sotho it is a budget. sent7: something does speak marblewood if that it is a slough is right. sent8: if the Y is a Laver that it is ataxic is correct. sent9: something is a budget if it is a Bose. ; $proof$ = 
sent2 -> hypothesis; __DISPROVED__