if the pneumococcus is licit the gantry does segregate maturation.
sent1: that there is something such that it is not inextinguishable is not wrong. sent2: the fact that something does not carjack tamoxifen hold. sent3: the gantry is energetic if the Argus does not flock Innsbruck and it is not a bugbear. sent4: the pneumococcus does not carjack tamoxifen. sent5: there exists something such that it carjacks tamoxifen or is licit or both. sent6: the Argus is not a bugbear if there are non-inextinguishable things. sent7: the pneumococcus does carjack tamoxifen and/or it is licit. sent8: something segregates maturation if it is energetic. sent9: the Argus does not flock Innsbruck if there is something such that it does not carjack tamoxifen or is licit or both.
void -> assump1: Let's assume that the pneumococcus is licit.; assump1 -> int1: the pneumococcus does not carjack tamoxifen and/or it is licit.; int1 -> int2: there exists something such that it either does not carjack tamoxifen or is licit or both.; int2 & sent9 -> int3: the Argus does not flock Innsbruck.; sent1 & sent6 -> int4: the Argus is not a bugbear.; int3 & int4 -> int5: the Argus does not flock Innsbruck and is not a bugbear.; int5 & sent3 -> int6: the gantry is energetic.; sent8 -> int7: if the gantry is energetic it segregates maturation.; int6 & int7 -> int8: the gantry does segregate maturation.; [assump1] & int8 -> hypothesis;
$hypothesis$ = if the pneumococcus is licit the gantry does segregate maturation. ; $context$ = sent1: that there is something such that it is not inextinguishable is not wrong. sent2: the fact that something does not carjack tamoxifen hold. sent3: the gantry is energetic if the Argus does not flock Innsbruck and it is not a bugbear. sent4: the pneumococcus does not carjack tamoxifen. sent5: there exists something such that it carjacks tamoxifen or is licit or both. sent6: the Argus is not a bugbear if there are non-inextinguishable things. sent7: the pneumococcus does carjack tamoxifen and/or it is licit. sent8: something segregates maturation if it is energetic. sent9: the Argus does not flock Innsbruck if there is something such that it does not carjack tamoxifen or is licit or both. ; $proof$ = 
void -> assump1: Let's assume that the pneumococcus is licit.; assump1 -> int1: the pneumococcus does not carjack tamoxifen and/or it is licit.; int1 -> int2: there exists something such that it either does not carjack tamoxifen or is licit or both.; int2 & sent9 -> int3: the Argus does not flock Innsbruck.; sent1 & sent6 -> int4: the Argus is not a bugbear.; int3 & int4 -> int5: the Argus does not flock Innsbruck and is not a bugbear.; int5 & sent3 -> int6: the gantry is energetic.; sent8 -> int7: if the gantry is energetic it segregates maturation.; int6 & int7 -> int8: the gantry does segregate maturation.; [assump1] & int8 -> hypothesis; __PROVED__