the modernism does corrupt.
sent1: if that something is not a kind of a symbolatry and does not spend afghan is false it is not corrupting. sent2: that the dimorphism does not testify candlepower is not wrong. sent3: there exists something such that it does spend afghan. sent4: if there is something such that it spends afghan then the dimorphism is a kind of a symbolatry but it does not testify candlepower. sent5: the afghan is not a kind of a conch if there exists something such that it is a kind of a symbolatry that does not testify candlepower. sent6: if there exists something such that it is both a symbolatry and not corrupting the dimorphism is not a kind of a conch. sent7: something is a symbolatry and testifies candlepower. sent8: there exists something such that it is a conch and it does not corrupt. sent9: if there exists something such that it is a trundle the record does not victual. sent10: there is something such that it does not testify candlepower. sent11: the modernism is corrupting and a conch if the afghan is not a kind of a conch.
sent3 & sent4 -> int1: the dimorphism is a symbolatry but it does not testify candlepower.; int1 -> int2: something is a kind of a symbolatry but it does not testify candlepower.; int2 & sent5 -> int3: the afghan is not a conch.; int3 & sent11 -> int4: the modernism is corrupting and it is a conch.; int4 -> hypothesis;
the modernism is non-corrupting.
sent1 -> int5: the modernism is not corrupting if the fact that it is not a symbolatry and does not spend afghan is not right.;
$hypothesis$ = the modernism does corrupt. ; $context$ = sent1: if that something is not a kind of a symbolatry and does not spend afghan is false it is not corrupting. sent2: that the dimorphism does not testify candlepower is not wrong. sent3: there exists something such that it does spend afghan. sent4: if there is something such that it spends afghan then the dimorphism is a kind of a symbolatry but it does not testify candlepower. sent5: the afghan is not a kind of a conch if there exists something such that it is a kind of a symbolatry that does not testify candlepower. sent6: if there exists something such that it is both a symbolatry and not corrupting the dimorphism is not a kind of a conch. sent7: something is a symbolatry and testifies candlepower. sent8: there exists something such that it is a conch and it does not corrupt. sent9: if there exists something such that it is a trundle the record does not victual. sent10: there is something such that it does not testify candlepower. sent11: the modernism is corrupting and a conch if the afghan is not a kind of a conch. ; $proof$ = 
sent3 & sent4 -> int1: the dimorphism is a symbolatry but it does not testify candlepower.; int1 -> int2: something is a kind of a symbolatry but it does not testify candlepower.; int2 & sent5 -> int3: the afghan is not a conch.; int3 & sent11 -> int4: the modernism is corrupting and it is a conch.; int4 -> hypothesis; __PROVED__