there exists something such that if the fact that it is not responsible and it does scald agrapha does not hold then it is not heterologous.
sent1: there exists something such that if the fact that it is not a cockloft and it bloviates is false it bespangles compromising. sent2: the doghouse does not destine Plautus if that it is not responsible is correct. sent3: if the doghouse is not responsible but it does scald agrapha it is non-heterologous. sent4: if the fact that the doghouse is not responsible but it scalds agrapha is wrong it is not heterologous. sent5: if the doghouse is responsible it is not heterologous. sent6: something is not a mnemonics if that it does not geyser Cajun and bespangles Ishmael does not hold.
sent4 -> hypothesis;
there exists something such that if that it does not geyser Cajun and bespangles Ishmael is false that it is not a mnemonics is correct.
sent6 -> int1: the heckelphone is non-mnemonics if that it does not geyser Cajun and it bespangles Ishmael is false.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that it is not responsible and it does scald agrapha does not hold then it is not heterologous. ; $context$ = sent1: there exists something such that if the fact that it is not a cockloft and it bloviates is false it bespangles compromising. sent2: the doghouse does not destine Plautus if that it is not responsible is correct. sent3: if the doghouse is not responsible but it does scald agrapha it is non-heterologous. sent4: if the fact that the doghouse is not responsible but it scalds agrapha is wrong it is not heterologous. sent5: if the doghouse is responsible it is not heterologous. sent6: something is not a mnemonics if that it does not geyser Cajun and bespangles Ishmael does not hold. ; $proof$ = 
sent4 -> hypothesis; __PROVED__