if the cleanser is diatonic then the schist is a Chiwere.
sent1: the schist is uric if the cleanser is a claret. sent2: the cleanser is a Chiwere. sent3: the schist is uric. sent4: the schist is a Chiwere if the fact that the cleanser is a claret hold. sent5: the fact that the cleanser is uric and it is a kind of a claret is not right. sent6: that the schist is a Chiwere but it is not a claret is not true. sent7: the charger is careless and is not a kind of a do. sent8: if the cleanser is a Chiwere the schist is diatonic. sent9: the fact that the schist is a commensal and is diatonic is wrong. sent10: that the grizzly is a kind of a Chiwere that is instructive is false if that it is a redcap hold. sent11: if the cleanser is uric then the schist is diatonic. sent12: the fact that the cleanser is uric and not a claret does not hold if it is diatonic. sent13: if the cleanser is a kind of a Chiwere then the schist does claret. sent14: that the trifle does claret but it is non-nonenzymatic is incorrect. sent15: if the cleanser is diatonic then the fact that it is uric and it clarets is incorrect. sent16: that the cleanser is both not non-uric and not a Chiwere is false. sent17: if the fact that the schist is not uric or is not a Chiwere or both is incorrect then the cleanser is not uric. sent18: that the cleanser is a Chiwere if the schist is uric hold. sent19: the schist is uric if the cleanser is a Chiwere.
void -> assump1: Let's assume that the cleanser is diatonic.; sent12 & assump1 -> int1: that the cleanser is uric but it is not a claret is not right.;
that the fashion is uric and is not nonenzymatic is wrong.
sent7 -> int2: something is a kind of careless thing that is not a do.;
$hypothesis$ = if the cleanser is diatonic then the schist is a Chiwere. ; $context$ = sent1: the schist is uric if the cleanser is a claret. sent2: the cleanser is a Chiwere. sent3: the schist is uric. sent4: the schist is a Chiwere if the fact that the cleanser is a claret hold. sent5: the fact that the cleanser is uric and it is a kind of a claret is not right. sent6: that the schist is a Chiwere but it is not a claret is not true. sent7: the charger is careless and is not a kind of a do. sent8: if the cleanser is a Chiwere the schist is diatonic. sent9: the fact that the schist is a commensal and is diatonic is wrong. sent10: that the grizzly is a kind of a Chiwere that is instructive is false if that it is a redcap hold. sent11: if the cleanser is uric then the schist is diatonic. sent12: the fact that the cleanser is uric and not a claret does not hold if it is diatonic. sent13: if the cleanser is a kind of a Chiwere then the schist does claret. sent14: that the trifle does claret but it is non-nonenzymatic is incorrect. sent15: if the cleanser is diatonic then the fact that it is uric and it clarets is incorrect. sent16: that the cleanser is both not non-uric and not a Chiwere is false. sent17: if the fact that the schist is not uric or is not a Chiwere or both is incorrect then the cleanser is not uric. sent18: that the cleanser is a Chiwere if the schist is uric hold. sent19: the schist is uric if the cleanser is a Chiwere. ; $proof$ = 
void -> assump1: Let's assume that the cleanser is diatonic.; sent12 & assump1 -> int1: that the cleanser is uric but it is not a claret is not right.; __UNKNOWN__