if that the Osage is not a upcast and fixes fire is wrong then the zodiac does not fix lepton.
sent1: the Osage is not advective if there exists something such that it is a kind of a upcast. sent2: the paralegal does not fix lepton if there is something such that it is extant. sent3: the zodiac is not a upcast and is a Circumcision if there is something such that it does fix lepton. sent4: if there is something such that the fact that it is not a upcast and fixes fire is wrong then the paralegal is not non-extant. sent5: the fact that the Osage is a kind of a upcast and it fixes fire is not right. sent6: the wet-nurse does not fix fire if the Osage is not advective but it is a Circumcision. sent7: if something is not a upcast and fixes fire the paralegal is extant. sent8: there is something such that the fact that it is advective and is a upcast is not right. sent9: the Osage is not extant if the paralegal does not fix fire and is a kind of a upcast. sent10: the lepton is not advective. sent11: if the wet-nurse is both not a Circumcision and advective then the zodiac does not fix lepton. sent12: the wet-nurse is not a Circumcision but advective if something is extant.
void -> assump1: Let's assume that that the Osage is not a upcast and does fix fire does not hold.; assump1 -> int1: there is something such that that it is not a upcast and it does fix fire does not hold.; int1 & sent4 -> int2: the paralegal is extant.; int2 -> int3: something is extant.; int3 & sent12 -> int4: the wet-nurse is both not a Circumcision and advective.; sent11 & int4 -> int5: the zodiac does not fix lepton.; [assump1] & int5 -> hypothesis;
$hypothesis$ = if that the Osage is not a upcast and fixes fire is wrong then the zodiac does not fix lepton. ; $context$ = sent1: the Osage is not advective if there exists something such that it is a kind of a upcast. sent2: the paralegal does not fix lepton if there is something such that it is extant. sent3: the zodiac is not a upcast and is a Circumcision if there is something such that it does fix lepton. sent4: if there is something such that the fact that it is not a upcast and fixes fire is wrong then the paralegal is not non-extant. sent5: the fact that the Osage is a kind of a upcast and it fixes fire is not right. sent6: the wet-nurse does not fix fire if the Osage is not advective but it is a Circumcision. sent7: if something is not a upcast and fixes fire the paralegal is extant. sent8: there is something such that the fact that it is advective and is a upcast is not right. sent9: the Osage is not extant if the paralegal does not fix fire and is a kind of a upcast. sent10: the lepton is not advective. sent11: if the wet-nurse is both not a Circumcision and advective then the zodiac does not fix lepton. sent12: the wet-nurse is not a Circumcision but advective if something is extant. ; $proof$ = 
void -> assump1: Let's assume that that the Osage is not a upcast and does fix fire does not hold.; assump1 -> int1: there is something such that that it is not a upcast and it does fix fire does not hold.; int1 & sent4 -> int2: the paralegal is extant.; int2 -> int3: something is extant.; int3 & sent12 -> int4: the wet-nurse is both not a Circumcision and advective.; sent11 & int4 -> int5: the zodiac does not fix lepton.; [assump1] & int5 -> hypothesis; __PROVED__