that there is something such that if it is a writer and a conscience it does not throng is wrong.
sent1: there is something such that if it is a writer and it is a conscience then it does throng. sent2: if something that is indestructible is a conscience it does not rehabilitate slingshot. sent3: there exists something such that if it is an anarchist that is a bay then it is a cheeseburger. sent4: something does not throng if it is a writer and a conscience.
sent4 -> int1: the Mandarin does not throng if it is a kind of a writer that is a kind of a conscience.; int1 -> hypothesis;
if the slingshot is indestructible and is a conscience it does not rehabilitate slingshot.
sent2 -> hypothesis;
$hypothesis$ = that there is something such that if it is a writer and a conscience it does not throng is wrong. ; $context$ = sent1: there is something such that if it is a writer and it is a conscience then it does throng. sent2: if something that is indestructible is a conscience it does not rehabilitate slingshot. sent3: there exists something such that if it is an anarchist that is a bay then it is a cheeseburger. sent4: something does not throng if it is a writer and a conscience. ; $proof$ = 
sent4 -> int1: the Mandarin does not throng if it is a kind of a writer that is a kind of a conscience.; int1 -> hypothesis; __DISPROVED__