the facility does sequence gasoline and/or departs.
sent1: there exists something such that it is earthly and it is not a kind of a Baisakh. sent2: that the provost is not prolix if there exists something such that it is not earthly is correct. sent3: something is not a kind of a Yellowstone and it is not prolix if it is ventilatory. sent4: the tagliatelle is ventilatory. sent5: the facility is ventilatory if the warder is a collocation. sent6: something is a collocation if that it is not a collocation and it sequences Cappadocia is not right. sent7: there is something such that the fact that it is a Baisakh and it is not prolix is false. sent8: the fact that the warder is earthly but it is not a Baisakh does not hold if it is not a Yellowstone. sent9: the fact that the facility is earthly is correct. sent10: that something sequences gasoline or it departs or both does not hold if it is not a kind of a Yellowstone. sent11: if the warder is a Yellowstone then the facility does depart. sent12: if the tagliatelle is ventilatory then the provost is not non-prolix. sent13: the tagliatelle is prolix if the provost is ventilatory.
void -> assump1: Let's assume that the warder is not a Yellowstone.; sent8 & assump1 -> int1: that the warder is earthly and is not a kind of a Baisakh does not hold.; int1 -> int2: there exists something such that that it is earthly and it is not a Baisakh is not right.; sent12 & sent4 -> int3: the provost is prolix.;
that the facility sequences gasoline and/or it departs does not hold.
sent10 -> int4: the fact that the facility either sequences gasoline or departs or both is not correct if it is not a Yellowstone.; sent3 -> int5: the facility is both not a Yellowstone and not prolix if it is ventilatory.; sent6 -> int6: if the fact that the warder is not a collocation and sequences Cappadocia is wrong it is a collocation.;
$hypothesis$ = the facility does sequence gasoline and/or departs. ; $context$ = sent1: there exists something such that it is earthly and it is not a kind of a Baisakh. sent2: that the provost is not prolix if there exists something such that it is not earthly is correct. sent3: something is not a kind of a Yellowstone and it is not prolix if it is ventilatory. sent4: the tagliatelle is ventilatory. sent5: the facility is ventilatory if the warder is a collocation. sent6: something is a collocation if that it is not a collocation and it sequences Cappadocia is not right. sent7: there is something such that the fact that it is a Baisakh and it is not prolix is false. sent8: the fact that the warder is earthly but it is not a Baisakh does not hold if it is not a Yellowstone. sent9: the fact that the facility is earthly is correct. sent10: that something sequences gasoline or it departs or both does not hold if it is not a kind of a Yellowstone. sent11: if the warder is a Yellowstone then the facility does depart. sent12: if the tagliatelle is ventilatory then the provost is not non-prolix. sent13: the tagliatelle is prolix if the provost is ventilatory. ; $proof$ = 
void -> assump1: Let's assume that the warder is not a Yellowstone.; sent8 & assump1 -> int1: that the warder is earthly and is not a kind of a Baisakh does not hold.; int1 -> int2: there exists something such that that it is earthly and it is not a Baisakh is not right.; sent12 & sent4 -> int3: the provost is prolix.; __UNKNOWN__