the fact that either the chrysolite is a Elopidae or it jams charming or both does not hold.
sent1: if the chrysolite is not solanaceous it is not a kind of a manicurist and it does not promise hessian. sent2: if the oxidase is estuarine then it is a Mithraist. sent3: the chrysolite is not a Mithraist if it is not a manicurist and does not promise hessian. sent4: that that the chrysolite is a Elopidae and/or it jams charming is not correct is not incorrect if that the clozapine is a Elopidae does not hold. sent5: the oxidase is not a kind of a Mithraist. sent6: the clozapine is not a kind of a mounting and it is not a Syrian if it is a Nuytsia. sent7: if something that is not a kind of a mounting is not a Syrian then it is a desorption. sent8: that if the clozapine is not the Nuytsia the fact that the clozapine promises hessian or it is a manicurist or both is not true is not wrong. sent9: something does jam charming if it is a Nuytsia. sent10: something is either estuarine or a desorption or both if it is not a Mithraist. sent11: the chrysolite is not solanaceous. sent12: if something that does not mount is a Syrian it is a desorption. sent13: if the clozapine is not a Nuytsia it is not a manicurist. sent14: the clozapine is not a kind of a Elopidae if the fact that either it promises hessian or it is a manicurist or both is not correct. sent15: the chrysolite does not jam charming.
void -> assump1: Let's assume that the clozapine is a Nuytsia.; sent6 & assump1 -> int1: the clozapine is not a mounting and it is not a Syrian.; sent7 -> int2: if the clozapine is not a mounting and it is not Syrian it is a kind of a desorption.; int1 & int2 -> int3: the clozapine is a desorption.;
that the chrysolite is a Elopidae and/or it jams charming is not incorrect.
sent9 -> int4: if the chrysolite is a kind of a Nuytsia then it does jam charming.; sent10 -> int5: if the chrysolite is not a kind of a Mithraist it is estuarine and/or it is a desorption.; sent1 & sent11 -> int6: the chrysolite is not a manicurist and it does not promise hessian.; sent3 & int6 -> int7: the chrysolite is not a kind of a Mithraist.; int5 & int7 -> int8: the chrysolite is not non-estuarine and/or it is a desorption.;
$hypothesis$ = the fact that either the chrysolite is a Elopidae or it jams charming or both does not hold. ; $context$ = sent1: if the chrysolite is not solanaceous it is not a kind of a manicurist and it does not promise hessian. sent2: if the oxidase is estuarine then it is a Mithraist. sent3: the chrysolite is not a Mithraist if it is not a manicurist and does not promise hessian. sent4: that that the chrysolite is a Elopidae and/or it jams charming is not correct is not incorrect if that the clozapine is a Elopidae does not hold. sent5: the oxidase is not a kind of a Mithraist. sent6: the clozapine is not a kind of a mounting and it is not a Syrian if it is a Nuytsia. sent7: if something that is not a kind of a mounting is not a Syrian then it is a desorption. sent8: that if the clozapine is not the Nuytsia the fact that the clozapine promises hessian or it is a manicurist or both is not true is not wrong. sent9: something does jam charming if it is a Nuytsia. sent10: something is either estuarine or a desorption or both if it is not a Mithraist. sent11: the chrysolite is not solanaceous. sent12: if something that does not mount is a Syrian it is a desorption. sent13: if the clozapine is not a Nuytsia it is not a manicurist. sent14: the clozapine is not a kind of a Elopidae if the fact that either it promises hessian or it is a manicurist or both is not correct. sent15: the chrysolite does not jam charming. ; $proof$ = 
void -> assump1: Let's assume that the clozapine is a Nuytsia.; sent6 & assump1 -> int1: the clozapine is not a mounting and it is not a Syrian.; sent7 -> int2: if the clozapine is not a mounting and it is not Syrian it is a kind of a desorption.; int1 & int2 -> int3: the clozapine is a desorption.; __UNKNOWN__