the rester is chaffy.
sent1: if something that is not a parent is not ovine then that the polymerization is a centennial hold. sent2: the polymerization is not a centennial if it is not a policeman or it is inviolable or both. sent3: the fact that the ultracentrifugation is not a parent hold if it is not a Dimetapp. sent4: if that the polymerization is a kind of a applecart is correct then it is not a kind of a policeman and/or is inviolable. sent5: the rester does evict hamburger. sent6: if something evicts hamburger and it is chaffy the ultracentrifugation is not a Dimetapp. sent7: something is not a parent but ovine. sent8: something is not a kind of a parent and is not ovine if it is not a Dimetapp. sent9: The hamburger does evict rester. sent10: something is not a applecart and it is not a kind of a centennial if it is not a kind of a Dimetapp. sent11: there exists something such that it is a kind of a parent and it is not ovine. sent12: the polymerization is not a kind of an anatomist and is not dactylic. sent13: the polymerization is a applecart.
void -> assump1: Let's assume that the rester is chaffy.; sent5 & assump1 -> int1: the rester evicts hamburger and is chaffy.; int1 -> int2: there is something such that it evicts hamburger and is chaffy.; int2 & sent6 -> int3: the ultracentrifugation is not a Dimetapp.; sent8 -> int4: the ultracentrifugation is not a parent and is not ovine if it is not a Dimetapp.; int3 & int4 -> int5: the ultracentrifugation is not a parent and it is not ovine.; int5 -> int6: there is something such that it is not a parent and not ovine.; int6 & sent1 -> int7: the fact that the polymerization is centennial is not incorrect.; sent4 & sent13 -> int8: either the polymerization is not a policeman or it is inviolable or both.; sent2 & int8 -> int9: the polymerization is not a centennial.; int7 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis;
$hypothesis$ = the rester is chaffy. ; $context$ = sent1: if something that is not a parent is not ovine then that the polymerization is a centennial hold. sent2: the polymerization is not a centennial if it is not a policeman or it is inviolable or both. sent3: the fact that the ultracentrifugation is not a parent hold if it is not a Dimetapp. sent4: if that the polymerization is a kind of a applecart is correct then it is not a kind of a policeman and/or is inviolable. sent5: the rester does evict hamburger. sent6: if something evicts hamburger and it is chaffy the ultracentrifugation is not a Dimetapp. sent7: something is not a parent but ovine. sent8: something is not a kind of a parent and is not ovine if it is not a Dimetapp. sent9: The hamburger does evict rester. sent10: something is not a applecart and it is not a kind of a centennial if it is not a kind of a Dimetapp. sent11: there exists something such that it is a kind of a parent and it is not ovine. sent12: the polymerization is not a kind of an anatomist and is not dactylic. sent13: the polymerization is a applecart. ; $proof$ = 
void -> assump1: Let's assume that the rester is chaffy.; sent5 & assump1 -> int1: the rester evicts hamburger and is chaffy.; int1 -> int2: there is something such that it evicts hamburger and is chaffy.; int2 & sent6 -> int3: the ultracentrifugation is not a Dimetapp.; sent8 -> int4: the ultracentrifugation is not a parent and is not ovine if it is not a Dimetapp.; int3 & int4 -> int5: the ultracentrifugation is not a parent and it is not ovine.; int5 -> int6: there is something such that it is not a parent and not ovine.; int6 & sent1 -> int7: the fact that the polymerization is centennial is not incorrect.; sent4 & sent13 -> int8: either the polymerization is not a policeman or it is inviolable or both.; sent2 & int8 -> int9: the polymerization is not a centennial.; int7 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis; __DISPROVED__