the dingbat is non-extrospective and it is not a counterdemonstration.
sent1: if the fact that something is not a anchorite and rights Antigua does not hold then it is a deictic. sent2: that the spore does patronize Jordanian is correct if the dingbat is a kind of a deictic. sent3: if something patronizes Jordanian or it is a mesquite or both then it does not patronize shtik. sent4: if the fact that the spore does not right Antigua and does not patronize Jordanian is not correct it is a kind of a counterdemonstration. sent5: The shtik does patronize spore. sent6: the spore does patronize shtik. sent7: if something is an aerial then the fact that it patronizes bacitracin hold. sent8: if that the dingbat is not extrospective and is not a kind of a counterdemonstration is incorrect then it is an aerial.
void -> assump1: Let's assume that that that the dingbat is not extrospective and is not a kind of a counterdemonstration is not false does not hold.; sent8 & assump1 -> int1: the dingbat is an aerial.; sent7 -> int2: the dingbat patronizes bacitracin if that it is an aerial is not false.; int1 & int2 -> int3: the dingbat does patronize bacitracin.; sent1 -> int4: if the fact that the dingbat is not a kind of a anchorite but it rights Antigua is not right the fact that it is a deictic is not incorrect.; sent3 -> int5: if the spore patronizes Jordanian and/or it is a mesquite it does not patronize shtik.;
$hypothesis$ = the dingbat is non-extrospective and it is not a counterdemonstration. ; $context$ = sent1: if the fact that something is not a anchorite and rights Antigua does not hold then it is a deictic. sent2: that the spore does patronize Jordanian is correct if the dingbat is a kind of a deictic. sent3: if something patronizes Jordanian or it is a mesquite or both then it does not patronize shtik. sent4: if the fact that the spore does not right Antigua and does not patronize Jordanian is not correct it is a kind of a counterdemonstration. sent5: The shtik does patronize spore. sent6: the spore does patronize shtik. sent7: if something is an aerial then the fact that it patronizes bacitracin hold. sent8: if that the dingbat is not extrospective and is not a kind of a counterdemonstration is incorrect then it is an aerial. ; $proof$ = 
void -> assump1: Let's assume that that that the dingbat is not extrospective and is not a kind of a counterdemonstration is not false does not hold.; sent8 & assump1 -> int1: the dingbat is an aerial.; sent7 -> int2: the dingbat patronizes bacitracin if that it is an aerial is not false.; int1 & int2 -> int3: the dingbat does patronize bacitracin.; sent1 -> int4: if the fact that the dingbat is not a kind of a anchorite but it rights Antigua is not right the fact that it is a deictic is not incorrect.; sent3 -> int5: if the spore patronizes Jordanian and/or it is a mesquite it does not patronize shtik.; __UNKNOWN__