the couverture does cavil.
sent1: if there exists something such that it is not a supervention and it is not Goethean then the polonium is taxonomic. sent2: something that stables Prociphilus cavils. sent3: if something does stable Prociphilus then that it does not cavil and is taxonomic is not right. sent4: there exists something such that that it is sufficient thing that stables duke is not right. sent5: something that does not cavil is both not taxonomic and not Goethean. sent6: something is sufficient thing that stables Prociphilus if it does not stable duke. sent7: if there is something such that it is not taxonomic then the polonium is not a supervention. sent8: the fact that the couverture is not diagnostic is true. sent9: something is not a kind of a supervention but it is Goethean. sent10: the polonium does not stable duke if the forehead is a kind of a fez but it does not stable duke. sent11: there is something such that it is not taxonomic. sent12: the polonium is not taxonomic if there is something such that that it is sufficient and it does stable duke is not right. sent13: the couverture is not Goethean.
void -> assump1: Let's assume that the couverture does not stable Prociphilus.; sent4 & sent12 -> int1: the polonium is not taxonomic.; sent2 -> int2: the couverture cavils if it does stable Prociphilus.;
the couverture does not cavil.
sent3 -> int3: if the polonium does stable Prociphilus then the fact that it does not cavil and it is taxonomic is not true.; sent6 -> int4: if the fact that the polonium does not stable duke is true it is sufficient and stables Prociphilus.;
$hypothesis$ = the couverture does cavil. ; $context$ = sent1: if there exists something such that it is not a supervention and it is not Goethean then the polonium is taxonomic. sent2: something that stables Prociphilus cavils. sent3: if something does stable Prociphilus then that it does not cavil and is taxonomic is not right. sent4: there exists something such that that it is sufficient thing that stables duke is not right. sent5: something that does not cavil is both not taxonomic and not Goethean. sent6: something is sufficient thing that stables Prociphilus if it does not stable duke. sent7: if there is something such that it is not taxonomic then the polonium is not a supervention. sent8: the fact that the couverture is not diagnostic is true. sent9: something is not a kind of a supervention but it is Goethean. sent10: the polonium does not stable duke if the forehead is a kind of a fez but it does not stable duke. sent11: there is something such that it is not taxonomic. sent12: the polonium is not taxonomic if there is something such that that it is sufficient and it does stable duke is not right. sent13: the couverture is not Goethean. ; $proof$ = 
void -> assump1: Let's assume that the couverture does not stable Prociphilus.; sent4 & sent12 -> int1: the polonium is not taxonomic.; sent2 -> int2: the couverture cavils if it does stable Prociphilus.; __UNKNOWN__