the fact that that there exists something such that if that it is a diarist and/or it is a Irish is wrong then it is not vocalic hold is wrong.
sent1: there exists something such that if the fact that either it is a kind of a diarist or it is a Irish or both does not hold then it is vocalic. sent2: if the fact that the guzzler is either a dial or a cheapjack or both is wrong then that it is a pull-up is not incorrect. sent3: if the fact that something is a diarist and/or a Irish is incorrect then it is not vocalic.
sent3 -> int1: the guzzler is non-vocalic if the fact that it either is a diarist or is a Irish or both is false.; int1 -> hypothesis;
$hypothesis$ = the fact that that there exists something such that if that it is a diarist and/or it is a Irish is wrong then it is not vocalic hold is wrong. ; $context$ = sent1: there exists something such that if the fact that either it is a kind of a diarist or it is a Irish or both does not hold then it is vocalic. sent2: if the fact that the guzzler is either a dial or a cheapjack or both is wrong then that it is a pull-up is not incorrect. sent3: if the fact that something is a diarist and/or a Irish is incorrect then it is not vocalic. ; $proof$ = 
sent3 -> int1: the guzzler is non-vocalic if the fact that it either is a diarist or is a Irish or both is false.; int1 -> hypothesis; __DISPROVED__