the tri-iodothyronine is not a comfort.
sent1: the delft is not intercontinental if it is not a Cavendish. sent2: that there is something such that it does quench obstreperousness and is Marian is correct. sent3: the delft does not quench obstreperousness if there exists something such that it is not Marian. sent4: if that the actinometer quenches obstreperousness is true it does comfort. sent5: the grinder is peptic if the delft is not intercontinental and does not quench obstreperousness. sent6: if something is peptic then it is an elk. sent7: if the grinder is an elk the tri-iodothyronine is a kind of an elk. sent8: something is non-intercontinental if that it is a Kaiser and it is a Cavendish does not hold. sent9: the tri-iodothyronine is an elk. sent10: the actinometer is not intercontinental if the fact that it quenches obstreperousness and it is a comfort does not hold. sent11: if the grinder is an elk the tri-iodothyronine does not comfort but it is a kind of an elk. sent12: that the delft is both a Kaiser and a Cavendish is not true. sent13: the tri-iodothyronine is an elk if it is peptic. sent14: if something is not a Cavendish then it is not intercontinental. sent15: the fact that that the actinometer quenches obstreperousness and is Marian is not false does not hold. sent16: the actinometer does not quench myriad and is not casuistic.
sent8 -> int1: if the fact that that the delft is a Kaiser and it is a Cavendish is not incorrect is wrong then it is not intercontinental.; int1 & sent12 -> int2: the delft is not intercontinental.; sent15 -> int3: there exists something such that that it quenches obstreperousness and it is Marian is not right.; sent6 -> int4: if the grinder is peptic then it is an elk.;
$hypothesis$ = the tri-iodothyronine is not a comfort. ; $context$ = sent1: the delft is not intercontinental if it is not a Cavendish. sent2: that there is something such that it does quench obstreperousness and is Marian is correct. sent3: the delft does not quench obstreperousness if there exists something such that it is not Marian. sent4: if that the actinometer quenches obstreperousness is true it does comfort. sent5: the grinder is peptic if the delft is not intercontinental and does not quench obstreperousness. sent6: if something is peptic then it is an elk. sent7: if the grinder is an elk the tri-iodothyronine is a kind of an elk. sent8: something is non-intercontinental if that it is a Kaiser and it is a Cavendish does not hold. sent9: the tri-iodothyronine is an elk. sent10: the actinometer is not intercontinental if the fact that it quenches obstreperousness and it is a comfort does not hold. sent11: if the grinder is an elk the tri-iodothyronine does not comfort but it is a kind of an elk. sent12: that the delft is both a Kaiser and a Cavendish is not true. sent13: the tri-iodothyronine is an elk if it is peptic. sent14: if something is not a Cavendish then it is not intercontinental. sent15: the fact that that the actinometer quenches obstreperousness and is Marian is not false does not hold. sent16: the actinometer does not quench myriad and is not casuistic. ; $proof$ = 
sent8 -> int1: if the fact that that the delft is a Kaiser and it is a Cavendish is not incorrect is wrong then it is not intercontinental.; int1 & sent12 -> int2: the delft is not intercontinental.; sent15 -> int3: there exists something such that that it quenches obstreperousness and it is Marian is not right.; sent6 -> int4: if the grinder is peptic then it is an elk.; __UNKNOWN__