that either the grapevine is not a kind of a pick or it is waxen or both is not true.
sent1: that if the cookstove braids blunderbuss the chauffeur is not urinary hold. sent2: the grapevine is not waxen if the hydrogenation is waxen. sent3: the fact that the grapevine is a kind of mitotic a pick is not correct. sent4: if the hydrogenation is not waxen the fact that the chauffeur is a kind of a memory that is not sulcate is incorrect. sent5: if the cookstove is not mitotic but it is terrestrial it is livable. sent6: everything is not terrestrial. sent7: that the grapevine is waxen is false. sent8: the cookstove does breakfast minder. sent9: the cookstove is not terrestrial. sent10: something is livable if the fact that it is both not terrestrial and not livable does not hold. sent11: that something is not livable if that it is not terrestrial and it is livable is incorrect is not false. sent12: that the chauffeur is a memory that is sulcate does not hold if the fact that the hydrogenation is not waxen hold. sent13: if something is non-mitotic thing that is not terrestrial then it is livable. sent14: something that is both non-urinary and non-mitotic is not terrestrial. sent15: the fact that the cookstove is not waxen or it is terrestrial or both does not hold. sent16: the chauffeur is not mitotic. sent17: if something is not mitotic but it is terrestrial it is livable. sent18: the cookstove braids blunderbuss if it does breakfast minder. sent19: if there exists something such that it is not mitotic then that the hydrogenation is not terrestrial but unlivable is not correct. sent20: the cookstove is not livable if the chauffeur is sulcate. sent21: the cookstove is not livable if that the chauffeur is a memory and is not sulcate is not correct. sent22: if the hydrogenation is waxen the fact that the grapevine does not pick and/or it is waxen does not hold. sent23: everything is non-mitotic and it is not terrestrial. sent24: the chauffeur is not a pick. sent25: the fact that the chauffeur is a kind of a memory and it is sulcate is false.
void -> assump1: Let's assume that the hydrogenation is not waxen.; sent4 & assump1 -> int1: that the chauffeur is a memory but it is not sulcate does not hold.; int1 & sent21 -> int2: the fact that the cookstove is not livable is true.; sent13 -> int3: if the cookstove is both non-mitotic and not terrestrial then it is livable.; sent23 -> int4: the cookstove is both non-mitotic and not terrestrial.; int3 & int4 -> int5: the cookstove is livable.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the hydrogenation is waxen.; int7 & sent22 -> hypothesis;
the fact that the grapevine is not a pick and/or is waxen is true.
sent10 -> int8: if that the fact that the hydrogenation is not terrestrial and not livable is not wrong is not true that it is livable hold.; sent16 -> int9: something is not mitotic.; int9 & sent19 -> int10: that the hydrogenation is not terrestrial and it is unlivable does not hold.; int8 & int10 -> int11: the hydrogenation is livable.;
$hypothesis$ = that either the grapevine is not a kind of a pick or it is waxen or both is not true. ; $context$ = sent1: that if the cookstove braids blunderbuss the chauffeur is not urinary hold. sent2: the grapevine is not waxen if the hydrogenation is waxen. sent3: the fact that the grapevine is a kind of mitotic a pick is not correct. sent4: if the hydrogenation is not waxen the fact that the chauffeur is a kind of a memory that is not sulcate is incorrect. sent5: if the cookstove is not mitotic but it is terrestrial it is livable. sent6: everything is not terrestrial. sent7: that the grapevine is waxen is false. sent8: the cookstove does breakfast minder. sent9: the cookstove is not terrestrial. sent10: something is livable if the fact that it is both not terrestrial and not livable does not hold. sent11: that something is not livable if that it is not terrestrial and it is livable is incorrect is not false. sent12: that the chauffeur is a memory that is sulcate does not hold if the fact that the hydrogenation is not waxen hold. sent13: if something is non-mitotic thing that is not terrestrial then it is livable. sent14: something that is both non-urinary and non-mitotic is not terrestrial. sent15: the fact that the cookstove is not waxen or it is terrestrial or both does not hold. sent16: the chauffeur is not mitotic. sent17: if something is not mitotic but it is terrestrial it is livable. sent18: the cookstove braids blunderbuss if it does breakfast minder. sent19: if there exists something such that it is not mitotic then that the hydrogenation is not terrestrial but unlivable is not correct. sent20: the cookstove is not livable if the chauffeur is sulcate. sent21: the cookstove is not livable if that the chauffeur is a memory and is not sulcate is not correct. sent22: if the hydrogenation is waxen the fact that the grapevine does not pick and/or it is waxen does not hold. sent23: everything is non-mitotic and it is not terrestrial. sent24: the chauffeur is not a pick. sent25: the fact that the chauffeur is a kind of a memory and it is sulcate is false. ; $proof$ = 
void -> assump1: Let's assume that the hydrogenation is not waxen.; sent4 & assump1 -> int1: that the chauffeur is a memory but it is not sulcate does not hold.; int1 & sent21 -> int2: the fact that the cookstove is not livable is true.; sent13 -> int3: if the cookstove is both non-mitotic and not terrestrial then it is livable.; sent23 -> int4: the cookstove is both non-mitotic and not terrestrial.; int3 & int4 -> int5: the cookstove is livable.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the hydrogenation is waxen.; int7 & sent22 -> hypothesis; __PROVED__