the pia injects.
sent1: something does inject if it is alexic. sent2: if the polarization is immodest the pia does damage pelican. sent3: if something that is immodest overruns agglomerator the tailplane does not damage pelican. sent4: if something bethinks Vasarely but it is not alexic it does not capitalize W. sent5: something is not a cagoule and is a messuage if it is not binocular. sent6: something that does inject is a bedrest. sent7: if the pia injects the polarization is a alexic. sent8: if something bethinks Vasarely and is a alexic it does not capitalize W. sent9: if the tailplane is not non-alexic then the prefect damages pelican. sent10: the prefect bethinks Vasarely and is non-alexic if the polarization is a kind of a non-alexic. sent11: something is immodest and it overruns agglomerator. sent12: either something does overrun agglomerator or it is immodest or both if it is not a kind of a cagoule. sent13: the prefect does capitalize W if the tailplane does not damage pelican. sent14: the pia damages pelican if the polarization overruns agglomerator. sent15: if there exists something such that it does inject and is alexic the pia does not capitalize W. sent16: there exists something such that it overruns agglomerator. sent17: if that the pia does not damage pelican and it does not capitalize W does not hold the prefect bethinks Vasarely.
void -> assump1: Let's assume that that the pia injects is not incorrect.; sent7 & assump1 -> int1: the polarization is alexic.; int1 & sent10 -> int2: the fact that the prefect bethinks Vasarely and is not a alexic hold.; sent4 -> int3: if the prefect bethinks Vasarely and is not a alexic it does not capitalize W.; int2 & int3 -> int4: the prefect does not capitalize W.; sent11 & sent3 -> int5: the fact that the tailplane does not damage pelican is not false.; sent13 & int5 -> int6: the prefect does capitalize W.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the pia injects.
sent12 -> int8: the prefect either overruns agglomerator or is immodest or both if it is not a cagoule.; sent5 -> int9: if the thane is not binocular then it is not a kind of a cagoule and it is a messuage.;
$hypothesis$ = the pia injects. ; $context$ = sent1: something does inject if it is alexic. sent2: if the polarization is immodest the pia does damage pelican. sent3: if something that is immodest overruns agglomerator the tailplane does not damage pelican. sent4: if something bethinks Vasarely but it is not alexic it does not capitalize W. sent5: something is not a cagoule and is a messuage if it is not binocular. sent6: something that does inject is a bedrest. sent7: if the pia injects the polarization is a alexic. sent8: if something bethinks Vasarely and is a alexic it does not capitalize W. sent9: if the tailplane is not non-alexic then the prefect damages pelican. sent10: the prefect bethinks Vasarely and is non-alexic if the polarization is a kind of a non-alexic. sent11: something is immodest and it overruns agglomerator. sent12: either something does overrun agglomerator or it is immodest or both if it is not a kind of a cagoule. sent13: the prefect does capitalize W if the tailplane does not damage pelican. sent14: the pia damages pelican if the polarization overruns agglomerator. sent15: if there exists something such that it does inject and is alexic the pia does not capitalize W. sent16: there exists something such that it overruns agglomerator. sent17: if that the pia does not damage pelican and it does not capitalize W does not hold the prefect bethinks Vasarely. ; $proof$ = 
void -> assump1: Let's assume that that the pia injects is not incorrect.; sent7 & assump1 -> int1: the polarization is alexic.; int1 & sent10 -> int2: the fact that the prefect bethinks Vasarely and is not a alexic hold.; sent4 -> int3: if the prefect bethinks Vasarely and is not a alexic it does not capitalize W.; int2 & int3 -> int4: the prefect does not capitalize W.; sent11 & sent3 -> int5: the fact that the tailplane does not damage pelican is not false.; sent13 & int5 -> int6: the prefect does capitalize W.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __DISPROVED__