the MVP is not non-vagile.
sent1: the fact that the MVP is vagile is right if the transsexual is hydrokinetic. sent2: the transsexual is hydrokinetic if the graphic is not non-less. sent3: the fact that the graphic is not a ascomycete but it is a god is wrong. sent4: the MVP is hydrokinetic and Frenchifies fissiparity if it is not an accent. sent5: the graphic is less if it Frenchifies fissiparity. sent6: if the fact that something is vagile and not less is false it is not vagile. sent7: something is not a kind of an accent if the fact that it is not basal and it is anaerobic does not hold. sent8: the fact that something is both not non-vagile and non-less does not hold if that it does Frenchify fissiparity is true. sent9: the graphic is not a ascomycete but it is a god if it does not Frenchify fissiparity.
void -> assump1: Let's assume that the graphic does not Frenchify fissiparity.; sent9 & assump1 -> int1: the graphic is not a ascomycete but it is a god.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the graphic does Frenchify fissiparity.; int3 & sent5 -> int4: the graphic is less.; int4 & sent2 -> int5: the fact that the transsexual is hydrokinetic is not wrong.; int5 & sent1 -> hypothesis;
the MVP is non-vagile.
sent6 -> int6: the MVP is not vagile if that it is vagile and non-less is not right.; sent8 -> int7: the fact that the MVP is vagile but it is not less is not true if it does Frenchify fissiparity.; sent7 -> int8: the MVP is not an accent if the fact that it is both not basal and anaerobic is incorrect.;
$hypothesis$ = the MVP is not non-vagile. ; $context$ = sent1: the fact that the MVP is vagile is right if the transsexual is hydrokinetic. sent2: the transsexual is hydrokinetic if the graphic is not non-less. sent3: the fact that the graphic is not a ascomycete but it is a god is wrong. sent4: the MVP is hydrokinetic and Frenchifies fissiparity if it is not an accent. sent5: the graphic is less if it Frenchifies fissiparity. sent6: if the fact that something is vagile and not less is false it is not vagile. sent7: something is not a kind of an accent if the fact that it is not basal and it is anaerobic does not hold. sent8: the fact that something is both not non-vagile and non-less does not hold if that it does Frenchify fissiparity is true. sent9: the graphic is not a ascomycete but it is a god if it does not Frenchify fissiparity. ; $proof$ = 
void -> assump1: Let's assume that the graphic does not Frenchify fissiparity.; sent9 & assump1 -> int1: the graphic is not a ascomycete but it is a god.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the graphic does Frenchify fissiparity.; int3 & sent5 -> int4: the graphic is less.; int4 & sent2 -> int5: the fact that the transsexual is hydrokinetic is not wrong.; int5 & sent1 -> hypothesis; __PROVED__