the fact that there is something such that if the fact that it is not a hop-step-and-jump and it does log Vivaldi does not hold then it is a penetrability is wrong.
sent1: there exists something such that if that it is a hop-step-and-jump and it does log Vivaldi is not true it is a penetrability. sent2: the Telugu is a penetrability if that it is not a hop-step-and-jump and logs Vivaldi does not hold. sent3: if the Telugu is not a hop-step-and-jump but it logs Vivaldi it is a penetrability.
sent2 -> hypothesis;
$hypothesis$ = the fact that there is something such that if the fact that it is not a hop-step-and-jump and it does log Vivaldi does not hold then it is a penetrability is wrong. ; $context$ = sent1: there exists something such that if that it is a hop-step-and-jump and it does log Vivaldi is not true it is a penetrability. sent2: the Telugu is a penetrability if that it is not a hop-step-and-jump and logs Vivaldi does not hold. sent3: if the Telugu is not a hop-step-and-jump but it logs Vivaldi it is a penetrability. ; $proof$ = 
sent2 -> hypothesis; __DISPROVED__