the Kraut does docket.
sent1: if either something is adjectival or it does overturn roomette or both then the fact that it is not phagocytic is correct. sent2: if the perjurer is not unangry then it is not achondritic and it is phagocytic. sent3: if the celebrant is bentonitic then the perjurer is adjectival. sent4: the generic is adjectival. sent5: if the Kraut does not overturn minyan then the fact that it is not a docket and it is phagocytic is not true. sent6: that the generic does not overturn minyan but it does grumble does not hold if it is not a roundup. sent7: the celebrant is bentonitic if there is something such that that it does not overturn minyan and is a grumbling does not hold. sent8: the Kraut does docket if the generic is a kind of a roundup. sent9: the fact that there is something such that that that it is unangry and is bentonitic hold is wrong is not wrong.
void -> assump1: Let's assume that the fact that the generic is not a roundup hold.; sent6 & assump1 -> int1: the fact that the generic does not overturn minyan but it is a grumbling is not true.; int1 -> int2: there exists something such that that it does not overturn minyan and does grumble is false.; int2 & sent7 -> int3: the celebrant is bentonitic.; int3 & sent3 -> int4: the perjurer is adjectival.; int4 -> int5: the perjurer is adjectival or does overturn roomette or both.; sent1 -> int6: if the perjurer is adjectival or it does overturn roomette or both then it is not phagocytic.; int5 & int6 -> int7: the perjurer is not phagocytic.;
$hypothesis$ = the Kraut does docket. ; $context$ = sent1: if either something is adjectival or it does overturn roomette or both then the fact that it is not phagocytic is correct. sent2: if the perjurer is not unangry then it is not achondritic and it is phagocytic. sent3: if the celebrant is bentonitic then the perjurer is adjectival. sent4: the generic is adjectival. sent5: if the Kraut does not overturn minyan then the fact that it is not a docket and it is phagocytic is not true. sent6: that the generic does not overturn minyan but it does grumble does not hold if it is not a roundup. sent7: the celebrant is bentonitic if there is something such that that it does not overturn minyan and is a grumbling does not hold. sent8: the Kraut does docket if the generic is a kind of a roundup. sent9: the fact that there is something such that that that it is unangry and is bentonitic hold is wrong is not wrong. ; $proof$ = 
void -> assump1: Let's assume that the fact that the generic is not a roundup hold.; sent6 & assump1 -> int1: the fact that the generic does not overturn minyan but it is a grumbling is not true.; int1 -> int2: there exists something such that that it does not overturn minyan and does grumble is false.; int2 & sent7 -> int3: the celebrant is bentonitic.; int3 & sent3 -> int4: the perjurer is adjectival.; int4 -> int5: the perjurer is adjectival or does overturn roomette or both.; sent1 -> int6: if the perjurer is adjectival or it does overturn roomette or both then it is not phagocytic.; int5 & int6 -> int7: the perjurer is not phagocytic.; __UNKNOWN__