there exists something such that if it is bacteriostatic then it is a kind of impious thing that is not chaotic.
sent1: if something is not non-bacteriostatic then it is non-pious thing that is not chaotic. sent2: if the prayerbook masters slumgullion then it is both not a Menticirrhus and not pious. sent3: there is something such that if it is a tetrose it is both not a compressed and not a bulge. sent4: there exists something such that if that it is a anglophobe is not incorrect it is not a hypocrisy and does not master skit. sent5: something is decorous and does not slither if the fact that it is a disapprobation is not false. sent6: there exists something such that if it is bacteriostatic then it is not chaotic. sent7: if the prayerbook is bacteriostatic it is pious and it is not chaotic. sent8: something is both pious and not chaotic if it is bacteriostatic. sent9: there is something such that if it is a bunker it is not a unalterability and not a passive. sent10: if the prayerbook is bacteriostatic then it is not chaotic. sent11: there exists something such that if it is bacteriostatic then it is not impious and it is not chaotic. sent12: the fact that if something is bacteriostatic that it is not chaotic hold is right. sent13: something does not brad hollygrape and is not a thuggery if it is a kind of a herm.
sent1 -> int1: the prayerbook is both impious and not chaotic if that it is bacteriostatic is right.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is bacteriostatic then it is a kind of impious thing that is not chaotic. ; $context$ = sent1: if something is not non-bacteriostatic then it is non-pious thing that is not chaotic. sent2: if the prayerbook masters slumgullion then it is both not a Menticirrhus and not pious. sent3: there is something such that if it is a tetrose it is both not a compressed and not a bulge. sent4: there exists something such that if that it is a anglophobe is not incorrect it is not a hypocrisy and does not master skit. sent5: something is decorous and does not slither if the fact that it is a disapprobation is not false. sent6: there exists something such that if it is bacteriostatic then it is not chaotic. sent7: if the prayerbook is bacteriostatic it is pious and it is not chaotic. sent8: something is both pious and not chaotic if it is bacteriostatic. sent9: there is something such that if it is a bunker it is not a unalterability and not a passive. sent10: if the prayerbook is bacteriostatic then it is not chaotic. sent11: there exists something such that if it is bacteriostatic then it is not impious and it is not chaotic. sent12: the fact that if something is bacteriostatic that it is not chaotic hold is right. sent13: something does not brad hollygrape and is not a thuggery if it is a kind of a herm. ; $proof$ = 
sent1 -> int1: the prayerbook is both impious and not chaotic if that it is bacteriostatic is right.; int1 -> hypothesis; __PROVED__