the West is a kind of a synthetic.
sent1: the Zambian is not promotional. sent2: if the Zambian is not a wave that the West is promotional and non-orthoptic is wrong. sent3: the east is not a synthetic. sent4: the Zambian is not a carry-over and is not cytogenetics if it does not revenge midwatch. sent5: the West does not revenge flan and is Baptistic if the Zambian is not a kind of a bassarisk. sent6: the Zambian is not orthoptic. sent7: something is not a bassarisk if it is not a kind of a carry-over and it is not cytogenetics. sent8: that the foster-nurse is not non-three-dimensional but it is not a highway does not hold. sent9: the fact that the West is orthoptic but it is not a wave does not hold. sent10: the Zambian does not wave. sent11: the Zambian is a synthetic. sent12: the fact that that the groundwork is a kind of a paraphrase and is not antemeridian does not hold hold. sent13: if something is not analytic either it does wave or it does warm or both. sent14: the fact that the Zambian is orthoptic but it does not wave is false if the fact that the West is promotional is not correct. sent15: if the West is a synthetic it is promotional. sent16: if something that does not revenge flan is Baptistic then it is not analytic. sent17: the West is promotional. sent18: the Zambian does not revenge midwatch. sent19: the Zambian is not a hydropathy. sent20: if the West is a synthetic it is promotional and it is not orthoptic.
void -> assump1: Let's assume that the West is a synthetic.; sent20 & assump1 -> int1: the West is promotional and not orthoptic.; sent2 & sent10 -> int2: that the West is promotional but it is not orthoptic is not correct.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the fact that the West is a synthetic is not wrong.
sent13 -> int4: the West is a wave and/or it is not non-warming if it is not analytic.; sent16 -> int5: if the West does not revenge flan but it is Baptistic that it is analytic is not true.; sent7 -> int6: if that the Zambian is not a carry-over and it is not cytogenetics hold then that it is not a bassarisk is right.; sent4 & sent18 -> int7: the Zambian is not a carry-over and not cytogenetics.; int6 & int7 -> int8: the Zambian is not a bassarisk.; sent5 & int8 -> int9: the West does not revenge flan and is Baptistic.; int5 & int9 -> int10: the West is not analytic.; int4 & int10 -> int11: the West is a wave or warms or both.;
$hypothesis$ = the West is a kind of a synthetic. ; $context$ = sent1: the Zambian is not promotional. sent2: if the Zambian is not a wave that the West is promotional and non-orthoptic is wrong. sent3: the east is not a synthetic. sent4: the Zambian is not a carry-over and is not cytogenetics if it does not revenge midwatch. sent5: the West does not revenge flan and is Baptistic if the Zambian is not a kind of a bassarisk. sent6: the Zambian is not orthoptic. sent7: something is not a bassarisk if it is not a kind of a carry-over and it is not cytogenetics. sent8: that the foster-nurse is not non-three-dimensional but it is not a highway does not hold. sent9: the fact that the West is orthoptic but it is not a wave does not hold. sent10: the Zambian does not wave. sent11: the Zambian is a synthetic. sent12: the fact that that the groundwork is a kind of a paraphrase and is not antemeridian does not hold hold. sent13: if something is not analytic either it does wave or it does warm or both. sent14: the fact that the Zambian is orthoptic but it does not wave is false if the fact that the West is promotional is not correct. sent15: if the West is a synthetic it is promotional. sent16: if something that does not revenge flan is Baptistic then it is not analytic. sent17: the West is promotional. sent18: the Zambian does not revenge midwatch. sent19: the Zambian is not a hydropathy. sent20: if the West is a synthetic it is promotional and it is not orthoptic. ; $proof$ = 
void -> assump1: Let's assume that the West is a synthetic.; sent20 & assump1 -> int1: the West is promotional and not orthoptic.; sent2 & sent10 -> int2: that the West is promotional but it is not orthoptic is not correct.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__