the fact that the Indianan tempers Moonie hold.
sent1: the fact that the sensationalist is not a stacks and not a vitalization is incorrect. sent2: the fact that something does entrance sendee but it is not flowerless is false if it is divisible. sent3: the Indianan defrays throatwort if the sensationalist is subcortical. sent4: if that the sensationalist is both not a stacks and not a vitalization is not correct then the Indianan is divisible. sent5: if that something entrances sendee but it is not flowerless is wrong it does not temper Moonie. sent6: if something is subcortical then either the sensationalist is subcortical or it defrays throatwort or both. sent7: the thrombin is subcortical if there exists something such that that it does not scallop plunk and is not subcortical is not true. sent8: something that does defray throatwort is both not a stacks and a vitalization. sent9: the sensationalist entrances sendee. sent10: if something is divisible that it entrances sendee and it is flowerless is not right. sent11: there exists something such that that it does not scallop plunk and it is not subcortical is not right.
sent2 -> int1: if the Indianan is divisible the fact that it entrances sendee and it is not flowerless is not correct.; sent4 & sent1 -> int2: the Indianan is divisible.; int1 & int2 -> int3: the fact that the Indianan does entrance sendee and is not flowerless is not true.; sent5 -> int4: if that the Indianan does entrance sendee and is not flowerless is incorrect it does not temper Moonie.; int3 & int4 -> hypothesis;
the Indianan tempers Moonie.
sent8 -> int5: the Indianan is not a kind of a stacks but it is a kind of a vitalization if it does defray throatwort.; sent11 & sent7 -> int6: the thrombin is subcortical.; int6 -> int7: something is subcortical.; int7 & sent6 -> int8: the sensationalist is subcortical and/or does defray throatwort.;
$hypothesis$ = the fact that the Indianan tempers Moonie hold. ; $context$ = sent1: the fact that the sensationalist is not a stacks and not a vitalization is incorrect. sent2: the fact that something does entrance sendee but it is not flowerless is false if it is divisible. sent3: the Indianan defrays throatwort if the sensationalist is subcortical. sent4: if that the sensationalist is both not a stacks and not a vitalization is not correct then the Indianan is divisible. sent5: if that something entrances sendee but it is not flowerless is wrong it does not temper Moonie. sent6: if something is subcortical then either the sensationalist is subcortical or it defrays throatwort or both. sent7: the thrombin is subcortical if there exists something such that that it does not scallop plunk and is not subcortical is not true. sent8: something that does defray throatwort is both not a stacks and a vitalization. sent9: the sensationalist entrances sendee. sent10: if something is divisible that it entrances sendee and it is flowerless is not right. sent11: there exists something such that that it does not scallop plunk and it is not subcortical is not right. ; $proof$ = 
sent2 -> int1: if the Indianan is divisible the fact that it entrances sendee and it is not flowerless is not correct.; sent4 & sent1 -> int2: the Indianan is divisible.; int1 & int2 -> int3: the fact that the Indianan does entrance sendee and is not flowerless is not true.; sent5 -> int4: if that the Indianan does entrance sendee and is not flowerless is incorrect it does not temper Moonie.; int3 & int4 -> hypothesis; __DISPROVED__