the fact that the mime hypothecates ethchlorvynol and it is a kind of an antiviral does not hold.
sent1: the vanadium does foreshow achondrite and is not pubertal if something does not coconspire. sent2: if the gavel is not a kind of a belting then that the vanadium does foreshow achondrite but it is not pubertal is not correct. sent3: if the fact that the gavel is not postglacial but it coconspires is not correct then that it does not coconspires hold. sent4: the fact that the gavel is not a belting is right if the pantograph either is not a taffy or is scurfy or both. sent5: there exists something such that it does coconspire. sent6: the pantograph is not scurfy. sent7: the fact that something does not hypothecate ethchlorvynol but it is pubertal is not true if it does not coconspire. sent8: the mime does not foreshow achondrite if the vanadium is not an antiviral or it does belt or both. sent9: if that the pantograph is an antiviral and is a kind of a belting is incorrect then the spinnaker is not antiviral. sent10: if something does not foreshow achondrite then either it is not scurfy or it hypothecates Furnariidae or both. sent11: if something is a kind of a belting it is antiviral. sent12: if the gavel is not genitourinary then the fact that it is not postglacial and it does coconspire is wrong. sent13: there exists something such that it does not coconspire. sent14: if the vanadium is not a kind of a taffy that the pantograph is a taffy and it is pubertal does not hold. sent15: that the mime does hypothecate ethchlorvynol and is antiviral is not true if that the pantograph does not hypothecate ethchlorvynol is not incorrect. sent16: if that the pantograph hypothecates ethchlorvynol but it does not foreshow achondrite does not hold the mime does hypothecates ethchlorvynol. sent17: there is nothing such that it does hypothecate ethchlorvynol and does not foreshow achondrite. sent18: if that there exists something such that it does not coconspire is correct the vanadium foreshows achondrite. sent19: that the mime hypothecates ethchlorvynol and is not a taffy is not correct. sent20: the fact that something is a kind of an antiviral and it does belt is false if it does not foreshow achondrite. sent21: the vanadium is a kind of an antiviral. sent22: if the pantograph is scurfy the gavel is not a belting. sent23: that the vanadium foreshows achondrite is correct.
void -> assump1: Let's assume that the pantograph is not a taffy or it is scurfy or both.; sent4 & assump1 -> int1: that the gavel is not a belting is true.; int1 & sent2 -> int2: the fact that the vanadium foreshows achondrite but it is not pubertal does not hold.; sent13 & sent1 -> int3: the vanadium foreshows achondrite and is not pubertal.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the pantograph is not a taffy and/or it is scurfy is not right.;
the mime does hypothecate ethchlorvynol and is a kind of an antiviral.
sent17 -> int6: the fact that the pantograph does hypothecate ethchlorvynol but it does not foreshow achondrite does not hold.; sent16 & int6 -> int7: the mime does hypothecate ethchlorvynol.; sent11 -> int8: that the mime is an antiviral is true if it is a belting.;
$hypothesis$ = the fact that the mime hypothecates ethchlorvynol and it is a kind of an antiviral does not hold. ; $context$ = sent1: the vanadium does foreshow achondrite and is not pubertal if something does not coconspire. sent2: if the gavel is not a kind of a belting then that the vanadium does foreshow achondrite but it is not pubertal is not correct. sent3: if the fact that the gavel is not postglacial but it coconspires is not correct then that it does not coconspires hold. sent4: the fact that the gavel is not a belting is right if the pantograph either is not a taffy or is scurfy or both. sent5: there exists something such that it does coconspire. sent6: the pantograph is not scurfy. sent7: the fact that something does not hypothecate ethchlorvynol but it is pubertal is not true if it does not coconspire. sent8: the mime does not foreshow achondrite if the vanadium is not an antiviral or it does belt or both. sent9: if that the pantograph is an antiviral and is a kind of a belting is incorrect then the spinnaker is not antiviral. sent10: if something does not foreshow achondrite then either it is not scurfy or it hypothecates Furnariidae or both. sent11: if something is a kind of a belting it is antiviral. sent12: if the gavel is not genitourinary then the fact that it is not postglacial and it does coconspire is wrong. sent13: there exists something such that it does not coconspire. sent14: if the vanadium is not a kind of a taffy that the pantograph is a taffy and it is pubertal does not hold. sent15: that the mime does hypothecate ethchlorvynol and is antiviral is not true if that the pantograph does not hypothecate ethchlorvynol is not incorrect. sent16: if that the pantograph hypothecates ethchlorvynol but it does not foreshow achondrite does not hold the mime does hypothecates ethchlorvynol. sent17: there is nothing such that it does hypothecate ethchlorvynol and does not foreshow achondrite. sent18: if that there exists something such that it does not coconspire is correct the vanadium foreshows achondrite. sent19: that the mime hypothecates ethchlorvynol and is not a taffy is not correct. sent20: the fact that something is a kind of an antiviral and it does belt is false if it does not foreshow achondrite. sent21: the vanadium is a kind of an antiviral. sent22: if the pantograph is scurfy the gavel is not a belting. sent23: that the vanadium foreshows achondrite is correct. ; $proof$ = 
void -> assump1: Let's assume that the pantograph is not a taffy or it is scurfy or both.; sent4 & assump1 -> int1: that the gavel is not a belting is true.; int1 & sent2 -> int2: the fact that the vanadium foreshows achondrite but it is not pubertal does not hold.; sent13 & sent1 -> int3: the vanadium foreshows achondrite and is not pubertal.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the pantograph is not a taffy and/or it is scurfy is not right.; __UNKNOWN__