the epicardium does not din rhesus.
sent1: if there exists something such that that it does not augment and it is anginal is wrong then the epicardium does snuff phrenologist. sent2: the fact that the epicardium is not quantitative hold if it snuffs Garrulus. sent3: the lunch does snuff phrenologist and it is anginal. sent4: if something snuffs phrenologist or it does snuff Garrulus or both it is not quantitative. sent5: that something does not augment but it is anginal is incorrect if it snuffs diocese. sent6: something does not din rhesus if it is not quantitative. sent7: if the trousseau is recoverable it snuffs diocese. sent8: there exists something such that that it does augment and is anginal is wrong. sent9: if that something does not din rhesus and it does not snuff diocese is not true it does din rhesus. sent10: the trousseau is recoverable. sent11: if something snuffs Garrulus then that it is not quantitative is correct. sent12: if something is not recoverable that it does not din rhesus and it does not snuff diocese is incorrect. sent13: the epicardium does snuff phrenologist if there is something such that it is not anginal.
sent7 & sent10 -> int1: the trousseau does snuff diocese.; sent5 -> int2: if the trousseau snuffs diocese then that it does not augment and is anginal does not hold.; int1 & int2 -> int3: that the trousseau does not augment and is anginal is not right.; int3 -> int4: there exists something such that that it does not augment and it is anginal is not correct.; int4 & sent1 -> int5: the epicardium snuffs phrenologist.; int5 -> int6: the epicardium snuffs phrenologist and/or it does snuff Garrulus.; sent4 -> int7: the epicardium is not quantitative if it does snuff phrenologist and/or does snuff Garrulus.; int6 & int7 -> int8: the epicardium is not quantitative.; sent6 -> int9: if the epicardium is not quantitative it does not din rhesus.; int8 & int9 -> hypothesis;
the epicardium dins rhesus.
sent9 -> int10: the epicardium dins rhesus if that it does not dins rhesus and does not snuff diocese is wrong.; sent12 -> int11: the fact that the epicardium does not din rhesus and does not snuff diocese is not right if it is not recoverable.; sent3 -> int12: there exists something such that it snuffs phrenologist and is anginal.;
$hypothesis$ = the epicardium does not din rhesus. ; $context$ = sent1: if there exists something such that that it does not augment and it is anginal is wrong then the epicardium does snuff phrenologist. sent2: the fact that the epicardium is not quantitative hold if it snuffs Garrulus. sent3: the lunch does snuff phrenologist and it is anginal. sent4: if something snuffs phrenologist or it does snuff Garrulus or both it is not quantitative. sent5: that something does not augment but it is anginal is incorrect if it snuffs diocese. sent6: something does not din rhesus if it is not quantitative. sent7: if the trousseau is recoverable it snuffs diocese. sent8: there exists something such that that it does augment and is anginal is wrong. sent9: if that something does not din rhesus and it does not snuff diocese is not true it does din rhesus. sent10: the trousseau is recoverable. sent11: if something snuffs Garrulus then that it is not quantitative is correct. sent12: if something is not recoverable that it does not din rhesus and it does not snuff diocese is incorrect. sent13: the epicardium does snuff phrenologist if there is something such that it is not anginal. ; $proof$ = 
sent7 & sent10 -> int1: the trousseau does snuff diocese.; sent5 -> int2: if the trousseau snuffs diocese then that it does not augment and is anginal does not hold.; int1 & int2 -> int3: that the trousseau does not augment and is anginal is not right.; int3 -> int4: there exists something such that that it does not augment and it is anginal is not correct.; int4 & sent1 -> int5: the epicardium snuffs phrenologist.; int5 -> int6: the epicardium snuffs phrenologist and/or it does snuff Garrulus.; sent4 -> int7: the epicardium is not quantitative if it does snuff phrenologist and/or does snuff Garrulus.; int6 & int7 -> int8: the epicardium is not quantitative.; sent6 -> int9: if the epicardium is not quantitative it does not din rhesus.; int8 & int9 -> hypothesis; __PROVED__