if the harpy dropkicks commissure then the mouser is a astrolatry.
sent1: if something that is neurotropic does startle bitchery that the mouser does dropkick Balaton is true. sent2: the mouser dropkicks commissure. sent3: there is something such that it does startle bitchery. sent4: the leaseholder startles bitchery. sent5: if the mouser does dropkick Balaton it is a astrolatry. sent6: the harpy startles bitchery. sent7: if the harpy does dropkick commissure then it is neurotropic. sent8: The bitchery startles harpy. sent9: there is something such that it is neurotropic. sent10: there exists something such that it is a kind of neurotropic a astrolatry.
void -> assump1: Let's assume that the harpy dropkicks commissure.; sent7 & assump1 -> int1: the harpy is neurotropic.; int1 & sent6 -> int2: the harpy is neurotropic and startles bitchery.; int2 -> int3: something is neurotropic and it does startle bitchery.; int3 & sent1 -> int4: the fact that the mouser dropkicks Balaton is true.; int4 & sent5 -> int5: the mouser is a kind of a astrolatry.; [assump1] & int5 -> hypothesis;
$hypothesis$ = if the harpy dropkicks commissure then the mouser is a astrolatry. ; $context$ = sent1: if something that is neurotropic does startle bitchery that the mouser does dropkick Balaton is true. sent2: the mouser dropkicks commissure. sent3: there is something such that it does startle bitchery. sent4: the leaseholder startles bitchery. sent5: if the mouser does dropkick Balaton it is a astrolatry. sent6: the harpy startles bitchery. sent7: if the harpy does dropkick commissure then it is neurotropic. sent8: The bitchery startles harpy. sent9: there is something such that it is neurotropic. sent10: there exists something such that it is a kind of neurotropic a astrolatry. ; $proof$ = 
void -> assump1: Let's assume that the harpy dropkicks commissure.; sent7 & assump1 -> int1: the harpy is neurotropic.; int1 & sent6 -> int2: the harpy is neurotropic and startles bitchery.; int2 -> int3: something is neurotropic and it does startle bitchery.; int3 & sent1 -> int4: the fact that the mouser dropkicks Balaton is true.; int4 & sent5 -> int5: the mouser is a kind of a astrolatry.; [assump1] & int5 -> hypothesis; __PROVED__