if the underwriter is a threshold then the Zen is not equinoctial and it is not a Welsh.
sent1: if the underwriter does deposit acromegaly it does not deposit phenylbutazone. sent2: The phenylbutazone does deposit underwriter. sent3: the beeswax does deposit acromegaly if that the underwriter does not deposit phenylbutazone and is not meaningful is not true. sent4: the Zen deposits acromegaly. sent5: the underwriter does deposit phenylbutazone. sent6: if something does deposit acromegaly the fact that it is not a kind of a dyslectic and it is uninfluential is wrong. sent7: if something is not a walk-in it is a kind of a equinoctial. sent8: the Zen is not a equinoctial. sent9: the Zen does not measure clambake. sent10: the limpkin does deposit Grace if the metatherian is a lough. sent11: the Zen is a Welsh and is not a threshold if the prickleback is not non-equinoctial. sent12: if the underwriter is meaningful thing that is a kind of a threshold then the Zen is not Welsh. sent13: that the underwriter does not deposit phenylbutazone and is not meaningful is incorrect if the Zen is not a threshold. sent14: the fact that the metatherian is a lough is not false.
void -> assump1: Let's assume that that the underwriter is not uninfluential and deposits acromegaly is not false.; assump1 -> int1: the underwriter does deposit acromegaly.; int1 & sent1 -> int2: the underwriter does not deposit phenylbutazone.; int2 & sent5 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the underwriter is not uninfluential and does deposit acromegaly does not hold.;
the fact that the beeswax is not a dyslectic and is uninfluential is wrong.
sent6 -> int5: if the beeswax deposits acromegaly then that it is both not a dyslectic and not influential is wrong.; sent7 -> int6: the prickleback is not non-equinoctial if the fact that it is not a kind of a walk-in is true.; sent10 & sent14 -> int7: the limpkin deposits Grace.; int7 -> int8: something deposits Grace.;
$hypothesis$ = if the underwriter is a threshold then the Zen is not equinoctial and it is not a Welsh. ; $context$ = sent1: if the underwriter does deposit acromegaly it does not deposit phenylbutazone. sent2: The phenylbutazone does deposit underwriter. sent3: the beeswax does deposit acromegaly if that the underwriter does not deposit phenylbutazone and is not meaningful is not true. sent4: the Zen deposits acromegaly. sent5: the underwriter does deposit phenylbutazone. sent6: if something does deposit acromegaly the fact that it is not a kind of a dyslectic and it is uninfluential is wrong. sent7: if something is not a walk-in it is a kind of a equinoctial. sent8: the Zen is not a equinoctial. sent9: the Zen does not measure clambake. sent10: the limpkin does deposit Grace if the metatherian is a lough. sent11: the Zen is a Welsh and is not a threshold if the prickleback is not non-equinoctial. sent12: if the underwriter is meaningful thing that is a kind of a threshold then the Zen is not Welsh. sent13: that the underwriter does not deposit phenylbutazone and is not meaningful is incorrect if the Zen is not a threshold. sent14: the fact that the metatherian is a lough is not false. ; $proof$ = 
void -> assump1: Let's assume that that the underwriter is not uninfluential and deposits acromegaly is not false.; assump1 -> int1: the underwriter does deposit acromegaly.; int1 & sent1 -> int2: the underwriter does not deposit phenylbutazone.; int2 & sent5 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the underwriter is not uninfluential and does deposit acromegaly does not hold.; __UNKNOWN__