the Dictaphone is a August.
sent1: something is tangential if it eliminates pleurocarp. sent2: the isochrone is not anisogametic if the silly is a gibbsite. sent3: if the Dictaphone is not a August then that the silly is non-Mexican and it is not a kind of a gibbsite does not hold. sent4: the fact that the silly is a kind of non-Mexican thing that is a gibbsite is not correct if the Dictaphone is not a kind of a August. sent5: the Jamaican is a Mexican. sent6: the isochrone is not non-tangential. sent7: the isochrone does not eliminate pleurocarp. sent8: the silly is not anisogametic. sent9: if a non-anisogametic thing is not a August it is not Mexican. sent10: the isochrone is not anisogametic if the fact that the silly is not a kind of a Mexican and it is not a kind of a gibbsite is false. sent11: that the isochrone is not a kind of a Mexican and it is not tangential does not hold. sent12: there exists something such that the fact that either it is acinar or it does hypnotize nylons or both is false. sent13: the fact that the detumescence does not eliminate pleurocarp is true if there is something such that the fact that either it is acinar or it hypnotizes nylons or both is not correct. sent14: The pleurocarp does not eliminate isochrone. sent15: if the isochrone does not eliminate pleurocarp then it is tangential. sent16: that the silly is a kind of non-Mexican thing that is a gibbsite is false.
void -> assump1: Let's assume that the Dictaphone is not a kind of a August.; sent3 & assump1 -> int1: the fact that the silly is not a kind of a Mexican and is not a kind of a gibbsite is not true.; int1 & sent10 -> int2: the isochrone is not anisogametic.;
the Dictaphone is not a August.
sent12 & sent13 -> int3: the fact that the detumescence does not eliminate pleurocarp hold.; int3 -> int4: there exists something such that that it does not eliminate pleurocarp is correct.;
$hypothesis$ = the Dictaphone is a August. ; $context$ = sent1: something is tangential if it eliminates pleurocarp. sent2: the isochrone is not anisogametic if the silly is a gibbsite. sent3: if the Dictaphone is not a August then that the silly is non-Mexican and it is not a kind of a gibbsite does not hold. sent4: the fact that the silly is a kind of non-Mexican thing that is a gibbsite is not correct if the Dictaphone is not a kind of a August. sent5: the Jamaican is a Mexican. sent6: the isochrone is not non-tangential. sent7: the isochrone does not eliminate pleurocarp. sent8: the silly is not anisogametic. sent9: if a non-anisogametic thing is not a August it is not Mexican. sent10: the isochrone is not anisogametic if the fact that the silly is not a kind of a Mexican and it is not a kind of a gibbsite is false. sent11: that the isochrone is not a kind of a Mexican and it is not tangential does not hold. sent12: there exists something such that the fact that either it is acinar or it does hypnotize nylons or both is false. sent13: the fact that the detumescence does not eliminate pleurocarp is true if there is something such that the fact that either it is acinar or it hypnotizes nylons or both is not correct. sent14: The pleurocarp does not eliminate isochrone. sent15: if the isochrone does not eliminate pleurocarp then it is tangential. sent16: that the silly is a kind of non-Mexican thing that is a gibbsite is false. ; $proof$ = 
void -> assump1: Let's assume that the Dictaphone is not a kind of a August.; sent3 & assump1 -> int1: the fact that the silly is not a kind of a Mexican and is not a kind of a gibbsite is not true.; int1 & sent10 -> int2: the isochrone is not anisogametic.; __UNKNOWN__