the Yquem is not interplanetary.
sent1: the fact that the trolleybus does not crucify trolleybus and is a mix is not true. sent2: if the parsonage does crucify trolleybus then the trolleybus is duodenal. sent3: that if either something crucifies trolleybus or it is duodenal or both then it is not a Mackem is not incorrect. sent4: the Yquem is interplanetary if that the parsonage does not curdle and is a Alaskan is wrong. sent5: if something is a Alaskan or is a Mackem or both it is not interplanetary. sent6: that the chalcidfly is a Mackem and is not a kind of a mix is false if the trolleybus is not a Mackem. sent7: the cornhusk does get chaff and it does angle Yquem. sent8: if the caspase does sound then the trolleybus is duodenal. sent9: if the cornhusk gets chaff and it angles Yquem then the chalcidfly is not a mix. sent10: that the Yquem is duodenal is not wrong. sent11: the parsonage is a routemarch that does not curdle. sent12: if the warrior is not a routemarch then the inclination does not angle bullying and/or it is factual. sent13: the chalcidfly is a Mackem if either the inclination does not angle bullying or it is factual or both. sent14: the warrior is not interplanetary. sent15: the fact that the inclination curdles but it is not factual is wrong. sent16: the warrior is not a kind of a routemarch. sent17: the caspase is sounding if the parsonage does not curdle but it is Alaskan. sent18: the cornhusk does not curdle. sent19: if something that is duodenal sounds it is not interplanetary. sent20: the trolleybus does curdle if either the chalcidfly is not duodenal or it is a Mackem or both. sent21: the chalcidfly is factual and/or it is a Mackem. sent22: the trolleybus sounds if the caspase is not duodenal.
void -> assump1: Let's assume that the parsonage does not curdle and is Alaskan.; sent17 & assump1 -> int1: the caspase is a sounding.; int1 & sent8 -> int2: the trolleybus is duodenal.; int2 -> int3: the trolleybus does crucify trolleybus and/or it is duodenal.; sent3 -> int4: if the trolleybus either does crucify trolleybus or is duodenal or both then it is not a Mackem.; int3 & int4 -> int5: the trolleybus is not a kind of a Mackem.; int5 & sent6 -> int6: the fact that that the chalcidfly is a Mackem but it does not mix does not hold is true.; sent12 & sent16 -> int7: the inclination does not angle bullying and/or it is factual.; sent13 & int7 -> int8: the chalcidfly is a Mackem.; sent9 & sent7 -> int9: the chalcidfly is not a mix.; int8 & int9 -> int10: the chalcidfly is a Mackem but it is not a mix.; int6 & int10 -> int11: this is contradiction.; [assump1] & int11 -> int12: that the parsonage does not curdle but it is a kind of a Alaskan does not hold.; int12 & sent4 -> hypothesis;
the Yquem is not interplanetary.
sent19 -> int13: the Yquem is not interplanetary if it is both duodenal and sounding.;
$hypothesis$ = the Yquem is not interplanetary. ; $context$ = sent1: the fact that the trolleybus does not crucify trolleybus and is a mix is not true. sent2: if the parsonage does crucify trolleybus then the trolleybus is duodenal. sent3: that if either something crucifies trolleybus or it is duodenal or both then it is not a Mackem is not incorrect. sent4: the Yquem is interplanetary if that the parsonage does not curdle and is a Alaskan is wrong. sent5: if something is a Alaskan or is a Mackem or both it is not interplanetary. sent6: that the chalcidfly is a Mackem and is not a kind of a mix is false if the trolleybus is not a Mackem. sent7: the cornhusk does get chaff and it does angle Yquem. sent8: if the caspase does sound then the trolleybus is duodenal. sent9: if the cornhusk gets chaff and it angles Yquem then the chalcidfly is not a mix. sent10: that the Yquem is duodenal is not wrong. sent11: the parsonage is a routemarch that does not curdle. sent12: if the warrior is not a routemarch then the inclination does not angle bullying and/or it is factual. sent13: the chalcidfly is a Mackem if either the inclination does not angle bullying or it is factual or both. sent14: the warrior is not interplanetary. sent15: the fact that the inclination curdles but it is not factual is wrong. sent16: the warrior is not a kind of a routemarch. sent17: the caspase is sounding if the parsonage does not curdle but it is Alaskan. sent18: the cornhusk does not curdle. sent19: if something that is duodenal sounds it is not interplanetary. sent20: the trolleybus does curdle if either the chalcidfly is not duodenal or it is a Mackem or both. sent21: the chalcidfly is factual and/or it is a Mackem. sent22: the trolleybus sounds if the caspase is not duodenal. ; $proof$ = 
void -> assump1: Let's assume that the parsonage does not curdle and is Alaskan.; sent17 & assump1 -> int1: the caspase is a sounding.; int1 & sent8 -> int2: the trolleybus is duodenal.; int2 -> int3: the trolleybus does crucify trolleybus and/or it is duodenal.; sent3 -> int4: if the trolleybus either does crucify trolleybus or is duodenal or both then it is not a Mackem.; int3 & int4 -> int5: the trolleybus is not a kind of a Mackem.; int5 & sent6 -> int6: the fact that that the chalcidfly is a Mackem but it does not mix does not hold is true.; sent12 & sent16 -> int7: the inclination does not angle bullying and/or it is factual.; sent13 & int7 -> int8: the chalcidfly is a Mackem.; sent9 & sent7 -> int9: the chalcidfly is not a mix.; int8 & int9 -> int10: the chalcidfly is a Mackem but it is not a mix.; int6 & int10 -> int11: this is contradiction.; [assump1] & int11 -> int12: that the parsonage does not curdle but it is a kind of a Alaskan does not hold.; int12 & sent4 -> hypothesis; __DISPROVED__