the fact that there exists something such that if it is not imprecise and does not cling hoya then it is peninsular is wrong.
sent1: there is something such that if it is imprecise and does not cling hoya it is peninsular. sent2: if the davenport is precise thing that clings hoya then it is peninsular. sent3: if something that is not imprecise clings hoya then the fact that it is peninsular hold. sent4: if that something is imprecise thing that does not cling hoya is not wrong it is peninsular. sent5: there exists something such that if it is not imprecise and it clings hoya then it is peninsular. sent6: if something is not imprecise and it does not cling hoya that it is peninsular is right.
sent6 -> int1: if the davenport is not imprecise and it does not cling hoya the fact that it is peninsular is right.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is not imprecise and does not cling hoya then it is peninsular is wrong. ; $context$ = sent1: there is something such that if it is imprecise and does not cling hoya it is peninsular. sent2: if the davenport is precise thing that clings hoya then it is peninsular. sent3: if something that is not imprecise clings hoya then the fact that it is peninsular hold. sent4: if that something is imprecise thing that does not cling hoya is not wrong it is peninsular. sent5: there exists something such that if it is not imprecise and it clings hoya then it is peninsular. sent6: if something is not imprecise and it does not cling hoya that it is peninsular is right. ; $proof$ = 
sent6 -> int1: if the davenport is not imprecise and it does not cling hoya the fact that it is peninsular is right.; int1 -> hypothesis; __DISPROVED__