the taxiway does not even but it does push wideness.
sent1: that the taxiway is not evening is not false if there is something such that it pushes horsemeat and it is a peduncle. sent2: the chine is not a kind of a peduncle if that it is a kind of a peduncle and it does not even is wrong. sent3: if something does not push horsemeat the fact that it is not evening and pushes wideness is false. sent4: the chine does page if there is something such that the fact that it is a Maidu and it is not hypovolemic is false. sent5: that the Arkansan is not a kind of a page but it does push horsemeat is false if the chine is not a kind of a peduncle. sent6: if something does push wideness then the fact that it is a peduncle and is not evening is wrong. sent7: if the grunt does not push horsemeat that that the Arkansan is a Maidu and is non-hypovolemic is wrong is true. sent8: the chine is not a kind of a page if there is something such that that it is not a kind of a cosine is correct. sent9: the chopine is evening if there exists something such that it is a kind of a Jeremiah. sent10: something does not push horsemeat if that it is not a page and does push horsemeat does not hold. sent11: if the Arkansan does not push horsemeat then the fact that the grunt is an inaugural and is not puritanical is not correct. sent12: The wideness does push taxiway. sent13: the taxiway does push wideness. sent14: that the grunt is a peduncle is correct.
void -> assump1: Let's assume that the grunt does not push horsemeat.; sent7 & assump1 -> int1: the fact that the Arkansan is a Maidu but it is not hypovolemic is false.; int1 -> int2: there exists something such that the fact that it is a Maidu but not hypovolemic is not correct.; int2 & sent4 -> int3: the chine is a kind of a page.;
there exists something such that that it is an inaugural and it is not puritanical is incorrect.
sent10 -> int4: if the fact that the Arkansan is not a page but it pushes horsemeat is false then it does not pushes horsemeat.; sent6 -> int5: if the chine does push wideness the fact that it is both a peduncle and not evening is not correct.;
$hypothesis$ = the taxiway does not even but it does push wideness. ; $context$ = sent1: that the taxiway is not evening is not false if there is something such that it pushes horsemeat and it is a peduncle. sent2: the chine is not a kind of a peduncle if that it is a kind of a peduncle and it does not even is wrong. sent3: if something does not push horsemeat the fact that it is not evening and pushes wideness is false. sent4: the chine does page if there is something such that the fact that it is a Maidu and it is not hypovolemic is false. sent5: that the Arkansan is not a kind of a page but it does push horsemeat is false if the chine is not a kind of a peduncle. sent6: if something does push wideness then the fact that it is a peduncle and is not evening is wrong. sent7: if the grunt does not push horsemeat that that the Arkansan is a Maidu and is non-hypovolemic is wrong is true. sent8: the chine is not a kind of a page if there is something such that that it is not a kind of a cosine is correct. sent9: the chopine is evening if there exists something such that it is a kind of a Jeremiah. sent10: something does not push horsemeat if that it is not a page and does push horsemeat does not hold. sent11: if the Arkansan does not push horsemeat then the fact that the grunt is an inaugural and is not puritanical is not correct. sent12: The wideness does push taxiway. sent13: the taxiway does push wideness. sent14: that the grunt is a peduncle is correct. ; $proof$ = 
void -> assump1: Let's assume that the grunt does not push horsemeat.; sent7 & assump1 -> int1: the fact that the Arkansan is a Maidu but it is not hypovolemic is false.; int1 -> int2: there exists something such that the fact that it is a Maidu but not hypovolemic is not correct.; int2 & sent4 -> int3: the chine is a kind of a page.; __UNKNOWN__