if the artery does not encircle foulard then the fact that the southernwood is not synesthetic hold.
sent1: the southernwood is not synesthetic if the fact that either it is politics or it is antisatellite or both is false. sent2: if that the southernwood is antisatellite and/or life-support is incorrect then it does not encircle foulard. sent3: the southernwood is politics if the eptatretus is not a Iresine. sent4: that the thoroughfare is not life-support is correct if the artery does not encircle foulard. sent5: if that something does encircle severance and is life-support is not correct it is not a Iresine. sent6: if the eptatretus is not life-support then that it is not a Iresine is right. sent7: that either the artery does not encircle severance or it encircles foulard or both does not hold. sent8: that the eptatretus is synesthetic and is a Iresine is incorrect. sent9: the fact that the artery is a rub hold. sent10: something is not synesthetic if the fact that it is politics and/or it is antisatellite is incorrect. sent11: if the eptatretus is not synesthetic then the southernwood is not life-support. sent12: the thoroughfare is not politics if that it is not non-life-support and/or it does encircle foulard does not hold. sent13: if that something is not politics or is antisatellite or both is wrong then the fact that it is not synesthetic is not incorrect. sent14: if that either the thoroughfare is not life-support or it encircles severance or both is not correct it is not antisatellite. sent15: the southernwood is not synesthetic if the artery encircles foulard. sent16: the artery is not synesthetic. sent17: if the fact that something is a Iresine or it encircles foulard or both is wrong then it is not synesthetic. sent18: that the eptatretus encircles severance and it is life-support is wrong if the fact that the thoroughfare is not life-support hold. sent19: the southernwood is politics. sent20: the thoroughfare does not encircle foulard. sent21: if the artery does encircle foulard the thoroughfare is not life-support. sent22: if something is not life-support it is not a kind of a Iresine. sent23: if that the xanthomonad is a superstrate and a Iresine is false then it is not a pegmatite. sent24: something is not a Iresine if the fact that it does subtract Ormazd and it is direct is not correct.
void -> assump1: Let's assume that the artery does not encircle foulard.; sent4 & assump1 -> int1: the thoroughfare is not life-support.; int1 & sent18 -> int2: the fact that the eptatretus does encircle severance and it is life-support is not true.; sent5 -> int3: if that the eptatretus does encircle severance and is life-support is not true it is not a Iresine.; int2 & int3 -> int4: the eptatretus is not a Iresine.; sent13 -> int5: the southernwood is not synesthetic if that it is either not politics or antisatellite or both does not hold.;
the egghead is not a Iresine if the fact that it does subtract Ormazd and does direct is not true.
sent24 -> hypothesis;
$hypothesis$ = if the artery does not encircle foulard then the fact that the southernwood is not synesthetic hold. ; $context$ = sent1: the southernwood is not synesthetic if the fact that either it is politics or it is antisatellite or both is false. sent2: if that the southernwood is antisatellite and/or life-support is incorrect then it does not encircle foulard. sent3: the southernwood is politics if the eptatretus is not a Iresine. sent4: that the thoroughfare is not life-support is correct if the artery does not encircle foulard. sent5: if that something does encircle severance and is life-support is not correct it is not a Iresine. sent6: if the eptatretus is not life-support then that it is not a Iresine is right. sent7: that either the artery does not encircle severance or it encircles foulard or both does not hold. sent8: that the eptatretus is synesthetic and is a Iresine is incorrect. sent9: the fact that the artery is a rub hold. sent10: something is not synesthetic if the fact that it is politics and/or it is antisatellite is incorrect. sent11: if the eptatretus is not synesthetic then the southernwood is not life-support. sent12: the thoroughfare is not politics if that it is not non-life-support and/or it does encircle foulard does not hold. sent13: if that something is not politics or is antisatellite or both is wrong then the fact that it is not synesthetic is not incorrect. sent14: if that either the thoroughfare is not life-support or it encircles severance or both is not correct it is not antisatellite. sent15: the southernwood is not synesthetic if the artery encircles foulard. sent16: the artery is not synesthetic. sent17: if the fact that something is a Iresine or it encircles foulard or both is wrong then it is not synesthetic. sent18: that the eptatretus encircles severance and it is life-support is wrong if the fact that the thoroughfare is not life-support hold. sent19: the southernwood is politics. sent20: the thoroughfare does not encircle foulard. sent21: if the artery does encircle foulard the thoroughfare is not life-support. sent22: if something is not life-support it is not a kind of a Iresine. sent23: if that the xanthomonad is a superstrate and a Iresine is false then it is not a pegmatite. sent24: something is not a Iresine if the fact that it does subtract Ormazd and it is direct is not correct. ; $proof$ = 
void -> assump1: Let's assume that the artery does not encircle foulard.; sent4 & assump1 -> int1: the thoroughfare is not life-support.; int1 & sent18 -> int2: the fact that the eptatretus does encircle severance and it is life-support is not true.; sent5 -> int3: if that the eptatretus does encircle severance and is life-support is not true it is not a Iresine.; int2 & int3 -> int4: the eptatretus is not a Iresine.; sent13 -> int5: the southernwood is not synesthetic if that it is either not politics or antisatellite or both does not hold.; __UNKNOWN__