the gloss is not an idolatry.
sent1: something does rally gloss if it does snuffle fanion. sent2: the pigmentation is non-yeasty thing that does not tool citron. sent3: if the fact that the pyrolusite is not unalterable and is not a autochthon is wrong then it snuffles fanion. sent4: if the pyrolusite does rally gloss then the fanion does not snuffle gentian and does not rally gloss. sent5: the fact that the thorax is a clinker or pleasant or both is not wrong if the pigmentation is not pleasant. sent6: if the pyrolusite is not unalterable and it is not a kind of a autochthon the pigmentation is not pleasant. sent7: the fact that the gloss is not an idolatry hold if the thorax is pleasant. sent8: the fact that the gentian is playful thing that does not nail pantheism does not hold. sent9: if something does not snuffle gentian and does not rally gloss then it does not nail pantheism. sent10: if there exists something such that that it is playful thing that does not nail pantheism is not correct the fanion does nail pantheism. sent11: the gentian nails pantheism and/or does rally gloss.
void -> assump1: Let's assume that the fact that the pyrolusite is both not unalterable and not a autochthon is incorrect.; sent3 & assump1 -> int1: the pyrolusite snuffles fanion.; sent1 -> int2: if the pyrolusite snuffles fanion then the fact that it rallies gloss is not incorrect.; int1 & int2 -> int3: the pyrolusite does rally gloss.; int3 & sent4 -> int4: the fanion does not snuffle gentian and it does not rally gloss.; sent9 -> int5: if the fanion does not snuffle gentian and it does not rally gloss it does not nail pantheism.; int4 & int5 -> int6: the fanion does not nail pantheism.; sent8 -> int7: there is something such that that it is playful and it does not nail pantheism does not hold.; int7 & sent10 -> int8: the fanion does nail pantheism.; int6 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the pyrolusite is not unalterable and is not a autochthon.; int10 & sent6 -> int11: the pigmentation is not pleasant.; int11 & sent5 -> int12: the thorax does clinker and/or is pleasant.;
$hypothesis$ = the gloss is not an idolatry. ; $context$ = sent1: something does rally gloss if it does snuffle fanion. sent2: the pigmentation is non-yeasty thing that does not tool citron. sent3: if the fact that the pyrolusite is not unalterable and is not a autochthon is wrong then it snuffles fanion. sent4: if the pyrolusite does rally gloss then the fanion does not snuffle gentian and does not rally gloss. sent5: the fact that the thorax is a clinker or pleasant or both is not wrong if the pigmentation is not pleasant. sent6: if the pyrolusite is not unalterable and it is not a kind of a autochthon the pigmentation is not pleasant. sent7: the fact that the gloss is not an idolatry hold if the thorax is pleasant. sent8: the fact that the gentian is playful thing that does not nail pantheism does not hold. sent9: if something does not snuffle gentian and does not rally gloss then it does not nail pantheism. sent10: if there exists something such that that it is playful thing that does not nail pantheism is not correct the fanion does nail pantheism. sent11: the gentian nails pantheism and/or does rally gloss. ; $proof$ = 
void -> assump1: Let's assume that the fact that the pyrolusite is both not unalterable and not a autochthon is incorrect.; sent3 & assump1 -> int1: the pyrolusite snuffles fanion.; sent1 -> int2: if the pyrolusite snuffles fanion then the fact that it rallies gloss is not incorrect.; int1 & int2 -> int3: the pyrolusite does rally gloss.; int3 & sent4 -> int4: the fanion does not snuffle gentian and it does not rally gloss.; sent9 -> int5: if the fanion does not snuffle gentian and it does not rally gloss it does not nail pantheism.; int4 & int5 -> int6: the fanion does not nail pantheism.; sent8 -> int7: there is something such that that it is playful and it does not nail pantheism does not hold.; int7 & sent10 -> int8: the fanion does nail pantheism.; int6 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the pyrolusite is not unalterable and is not a autochthon.; int10 & sent6 -> int11: the pigmentation is not pleasant.; int11 & sent5 -> int12: the thorax does clinker and/or is pleasant.; __UNKNOWN__