there is something such that if it is noncrystalline then it does not excise crockery.
sent1: if something is noncrystalline then it does not excise crockery. sent2: if something stigmatizes scold then it is not an overtone. sent3: the artiste does excise crockery if it is noncrystalline. sent4: there exists something such that if it is a Nakuru the fact that it is a majority is right.
sent1 -> int1: the artiste does not excise crockery if it is noncrystalline.; int1 -> hypothesis;
there is something such that if it does stigmatize scold then it is not an overtone.
sent2 -> int2: the demimondaine is not a kind of an overtone if it stigmatizes scold.; int2 -> hypothesis;
$hypothesis$ = there is something such that if it is noncrystalline then it does not excise crockery. ; $context$ = sent1: if something is noncrystalline then it does not excise crockery. sent2: if something stigmatizes scold then it is not an overtone. sent3: the artiste does excise crockery if it is noncrystalline. sent4: there exists something such that if it is a Nakuru the fact that it is a majority is right. ; $proof$ = 
sent1 -> int1: the artiste does not excise crockery if it is noncrystalline.; int1 -> hypothesis; __PROVED__