the fact that the chert is not a Ubykh but it utters almandite does not hold.
sent1: if something is an exponential that is unintrusive then it does not utter almandite. sent2: if something is not unintrusive then it is not a Ubykh. sent3: the spallation is glottal. sent4: that that the chert is not a kind of a Ubykh and utters almandite is incorrect is not wrong if the spallation is not a Ubykh. sent5: something is not non-glottal if that it is not a Isopyrum and it is not nonionic is not right. sent6: the spallation is not chancroidal. sent7: if something is an exponential and is non-chancroidal the fact that it is not unintrusive is not false. sent8: the chert utters almandite and is not glottal. sent9: the spallation is not glottal if that it is exponential and it is not chancroidal is incorrect.
void -> assump1: Let's assume that that the spallation is an exponential but not chancroidal is not correct.; sent9 & assump1 -> int1: that the spallation is not glottal is right.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the spallation is exponential and non-chancroidal.; sent7 -> int4: the spallation is not unintrusive if it is an exponential and it is not chancroidal.; int3 & int4 -> int5: the spallation is intrusive.; sent2 -> int6: if that the spallation is not unintrusive hold it is not a Ubykh.; int5 & int6 -> int7: the spallation is not a Ubykh.; int7 & sent4 -> hypothesis;
the chert is not a Ubykh and does utter almandite.
sent5 -> int8: if the fact that the chert is both not a Isopyrum and not nonionic does not hold then it is glottal.;
$hypothesis$ = the fact that the chert is not a Ubykh but it utters almandite does not hold. ; $context$ = sent1: if something is an exponential that is unintrusive then it does not utter almandite. sent2: if something is not unintrusive then it is not a Ubykh. sent3: the spallation is glottal. sent4: that that the chert is not a kind of a Ubykh and utters almandite is incorrect is not wrong if the spallation is not a Ubykh. sent5: something is not non-glottal if that it is not a Isopyrum and it is not nonionic is not right. sent6: the spallation is not chancroidal. sent7: if something is an exponential and is non-chancroidal the fact that it is not unintrusive is not false. sent8: the chert utters almandite and is not glottal. sent9: the spallation is not glottal if that it is exponential and it is not chancroidal is incorrect. ; $proof$ = 
void -> assump1: Let's assume that that the spallation is an exponential but not chancroidal is not correct.; sent9 & assump1 -> int1: that the spallation is not glottal is right.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the spallation is exponential and non-chancroidal.; sent7 -> int4: the spallation is not unintrusive if it is an exponential and it is not chancroidal.; int3 & int4 -> int5: the spallation is intrusive.; sent2 -> int6: if that the spallation is not unintrusive hold it is not a Ubykh.; int5 & int6 -> int7: the spallation is not a Ubykh.; int7 & sent4 -> hypothesis; __PROVED__