if the MVP is basinal then the culvert is a kind of a googol.
sent1: the dragonet is a botulism if the MVP is not non-basinal. sent2: the culvert is basinal. sent3: if the MVP is a botulism the dragonet is glottal and is not basinal. sent4: if something concretizes declamation then it is a Hippo. sent5: if the MVP is not glottal the fluid is basinal. sent6: the MVP is not a botulism. sent7: if something is statutory then it is a botulism. sent8: something is basinal if it is glottal. sent9: the dragonet is a botulism but not statutory if the MVP is basinal. sent10: the fact that the dragonet is both statutory and not basinal if the MVP is glottal is not wrong. sent11: if something does disperse then it is a googol. sent12: if the culvert is glottal then the MVP does disperse and is not basinal. sent13: the dragonet does disperse. sent14: the dragonet is statutory but it is not a kind of a googol if the culvert is a botulism. sent15: if the fact that the fluid is glottal is correct the fact that it is a kind of a botulism hold. sent16: the dragonet is a kind of a botulism. sent17: the culvert does disperse if the fact that the fluid is glottal is not false. sent18: if the dragonet is not statutory then the fluid is glottal. sent19: if the dragonet is glottal then the fact that the fluid is statutory and does not disperse is not wrong. sent20: the culvert does suture. sent21: something dates if it is custard-like. sent22: if the culvert is not glottal then the fluid disperses.
void -> assump1: Let's assume that the MVP is basinal.; sent9 & assump1 -> int1: the dragonet is a kind of a botulism that is non-statutory.; int1 -> int2: the dragonet is not statutory.; int2 & sent18 -> int3: the fluid is glottal.; int3 & sent17 -> int4: the culvert disperses.; sent11 -> int5: if the culvert disperses it is a kind of a googol.; int4 & int5 -> int6: the culvert is a googol.; [assump1] & int6 -> hypothesis;
$hypothesis$ = if the MVP is basinal then the culvert is a kind of a googol. ; $context$ = sent1: the dragonet is a botulism if the MVP is not non-basinal. sent2: the culvert is basinal. sent3: if the MVP is a botulism the dragonet is glottal and is not basinal. sent4: if something concretizes declamation then it is a Hippo. sent5: if the MVP is not glottal the fluid is basinal. sent6: the MVP is not a botulism. sent7: if something is statutory then it is a botulism. sent8: something is basinal if it is glottal. sent9: the dragonet is a botulism but not statutory if the MVP is basinal. sent10: the fact that the dragonet is both statutory and not basinal if the MVP is glottal is not wrong. sent11: if something does disperse then it is a googol. sent12: if the culvert is glottal then the MVP does disperse and is not basinal. sent13: the dragonet does disperse. sent14: the dragonet is statutory but it is not a kind of a googol if the culvert is a botulism. sent15: if the fact that the fluid is glottal is correct the fact that it is a kind of a botulism hold. sent16: the dragonet is a kind of a botulism. sent17: the culvert does disperse if the fact that the fluid is glottal is not false. sent18: if the dragonet is not statutory then the fluid is glottal. sent19: if the dragonet is glottal then the fact that the fluid is statutory and does not disperse is not wrong. sent20: the culvert does suture. sent21: something dates if it is custard-like. sent22: if the culvert is not glottal then the fluid disperses. ; $proof$ = 
void -> assump1: Let's assume that the MVP is basinal.; sent9 & assump1 -> int1: the dragonet is a kind of a botulism that is non-statutory.; int1 -> int2: the dragonet is not statutory.; int2 & sent18 -> int3: the fluid is glottal.; int3 & sent17 -> int4: the culvert disperses.; sent11 -> int5: if the culvert disperses it is a kind of a googol.; int4 & int5 -> int6: the culvert is a googol.; [assump1] & int6 -> hypothesis; __PROVED__