that there exists something such that that it is not aerodynamic and does not torment Appalachians does not hold is wrong.
sent1: the guimpe is a Parthian if that the vesicle is not bisontine is not incorrect. sent2: if the fact that the guimpe is a Parthian hold then that the Appalachians is non-aerodynamic thing that does not torment Appalachians is incorrect. sent3: everything names counterbalanced and it is not hexadecimal. sent4: that the vesicle names counterbalanced and is not hexadecimal is false if it is bisontine.
void -> assump1: Let's assume that the vesicle is bisontine.; sent4 & assump1 -> int1: that that the vesicle does name counterbalanced but it is not hexadecimal is correct is not correct.; sent3 -> int2: the vesicle does name counterbalanced but it is not hexadecimal.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the vesicle is not bisontine.; int4 & sent1 -> int5: that the guimpe is a Parthian is not wrong.; int5 & sent2 -> int6: the fact that the Appalachians is non-aerodynamic thing that does not torment Appalachians does not hold.; int6 -> hypothesis;
$hypothesis$ = that there exists something such that that it is not aerodynamic and does not torment Appalachians does not hold is wrong. ; $context$ = sent1: the guimpe is a Parthian if that the vesicle is not bisontine is not incorrect. sent2: if the fact that the guimpe is a Parthian hold then that the Appalachians is non-aerodynamic thing that does not torment Appalachians is incorrect. sent3: everything names counterbalanced and it is not hexadecimal. sent4: that the vesicle names counterbalanced and is not hexadecimal is false if it is bisontine. ; $proof$ = 
void -> assump1: Let's assume that the vesicle is bisontine.; sent4 & assump1 -> int1: that that the vesicle does name counterbalanced but it is not hexadecimal is correct is not correct.; sent3 -> int2: the vesicle does name counterbalanced but it is not hexadecimal.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the vesicle is not bisontine.; int4 & sent1 -> int5: that the guimpe is a Parthian is not wrong.; int5 & sent2 -> int6: the fact that the Appalachians is non-aerodynamic thing that does not torment Appalachians does not hold.; int6 -> hypothesis; __DISPROVED__