if the pentail is a downtown the estrogen is ipsilateral.
sent1: the fact that the ai is ipsilateral is true. sent2: the clutch seines. sent3: if the estrogen is geodetic it seines. sent4: if the estrogen is not non-ipsilateral it is a downtown. sent5: that the estrogen is sleeveless is not wrong. sent6: if the pentail is a kind of a downtown then the estrogen is a seine. sent7: if the pentail is a seine then the estrogen is a downtown. sent8: something is downtown if that it seines is not incorrect.
void -> assump1: Let's assume that the pentail is a downtown.; sent6 & assump1 -> int1: the estrogen seines.;
$hypothesis$ = if the pentail is a downtown the estrogen is ipsilateral. ; $context$ = sent1: the fact that the ai is ipsilateral is true. sent2: the clutch seines. sent3: if the estrogen is geodetic it seines. sent4: if the estrogen is not non-ipsilateral it is a downtown. sent5: that the estrogen is sleeveless is not wrong. sent6: if the pentail is a kind of a downtown then the estrogen is a seine. sent7: if the pentail is a seine then the estrogen is a downtown. sent8: something is downtown if that it seines is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the pentail is a downtown.; sent6 & assump1 -> int1: the estrogen seines.; __UNKNOWN__