that that the Cork does not coordinate Equisetum and coordinates wearer is false is true.
sent1: the poxvirus is antistrophic and does not consider wand. sent2: the fact that the Cork is not nonmetamorphic is not wrong if there exists something such that that it does not consider wand and it is not vaginal is not right. sent3: the Burr does patent. sent4: if the Burr does not coordinate Equisetum then that the chum is nonmetamorphic and is vaginal is not right. sent5: the chum does not consider clue if it is a kind of a patented and it does not coordinate poxvirus. sent6: the fact that the poxvirus is a kind of non-antistrophic thing that is not vaginal is not true. sent7: if the Burr is antistrophic the chum does consider clue. sent8: a antistrophic thing coordinates wearer. sent9: if the Burr is not antistrophic then that the fact that the poxvirus does not consider wand and it is non-vaginal is not right is not wrong. sent10: the Cork is not nonmetamorphic if there exists something such that it does consider wand. sent11: if something does not consider wand and does not consider clue then it is not antistrophic. sent12: if that something is nonmetamorphic and is vaginal is incorrect then it does not consider wand. sent13: the chum is a kind of a patented that does not coordinate poxvirus. sent14: something does not coordinate Equisetum but it coordinates wearer if it is not antistrophic. sent15: that something does not coordinate poxvirus but it coordinates Equisetum is wrong if the fact that it is not antistrophic is right.
void -> assump1: Let's assume that the Burr is antistrophic.; sent7 & assump1 -> int1: the chum does consider clue.; sent5 & sent13 -> int2: the chum does not consider clue.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Burr is not antistrophic.; int4 & sent9 -> int5: the fact that the poxvirus does not consider wand and it is not vaginal is wrong.; int5 -> int6: there exists something such that that it does not consider wand and it is not vaginal does not hold.; int6 & sent2 -> int7: the Cork is not nonmetamorphic.;
the chum does coordinate wearer.
sent8 -> int8: that the chum does coordinate wearer if that the chum is antistrophic is correct is not wrong.; sent12 -> int9: that the chum does not consider wand is not false if the fact that it is both nonmetamorphic and vaginal does not hold.;
$hypothesis$ = that that the Cork does not coordinate Equisetum and coordinates wearer is false is true. ; $context$ = sent1: the poxvirus is antistrophic and does not consider wand. sent2: the fact that the Cork is not nonmetamorphic is not wrong if there exists something such that that it does not consider wand and it is not vaginal is not right. sent3: the Burr does patent. sent4: if the Burr does not coordinate Equisetum then that the chum is nonmetamorphic and is vaginal is not right. sent5: the chum does not consider clue if it is a kind of a patented and it does not coordinate poxvirus. sent6: the fact that the poxvirus is a kind of non-antistrophic thing that is not vaginal is not true. sent7: if the Burr is antistrophic the chum does consider clue. sent8: a antistrophic thing coordinates wearer. sent9: if the Burr is not antistrophic then that the fact that the poxvirus does not consider wand and it is non-vaginal is not right is not wrong. sent10: the Cork is not nonmetamorphic if there exists something such that it does consider wand. sent11: if something does not consider wand and does not consider clue then it is not antistrophic. sent12: if that something is nonmetamorphic and is vaginal is incorrect then it does not consider wand. sent13: the chum is a kind of a patented that does not coordinate poxvirus. sent14: something does not coordinate Equisetum but it coordinates wearer if it is not antistrophic. sent15: that something does not coordinate poxvirus but it coordinates Equisetum is wrong if the fact that it is not antistrophic is right. ; $proof$ = 
void -> assump1: Let's assume that the Burr is antistrophic.; sent7 & assump1 -> int1: the chum does consider clue.; sent5 & sent13 -> int2: the chum does not consider clue.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Burr is not antistrophic.; int4 & sent9 -> int5: the fact that the poxvirus does not consider wand and it is not vaginal is wrong.; int5 -> int6: there exists something such that that it does not consider wand and it is not vaginal does not hold.; int6 & sent2 -> int7: the Cork is not nonmetamorphic.; __UNKNOWN__