the fact that the framing is puritanical and is a lemur does not hold.
sent1: if something is not a kind of a drain it is a lemur and it is not non-metamorphous. sent2: the framing is not a drain. sent3: if there exists something such that it does blacklist apple then the flak is a Brickellia that is not a jungle. sent4: the embankment blacklists apple if the shrimp is ascetic. sent5: if the shrimp is not ascetic the framing is not ascetic and is puritanical. sent6: the flak is metamorphous. sent7: the fact that the flak is a Brickellia but it is not a jungle is wrong.
void -> assump1: Let's assume that the shrimp is ascetic.; sent4 & assump1 -> int1: the embankment does blacklist apple.; int1 -> int2: something does blacklist apple.; int2 & sent3 -> int3: the flak is a Brickellia and is not a kind of a jungle.; int3 & sent7 -> int4: this is contradiction.; [assump1] & int4 -> int5: the shrimp is not ascetic.; int5 & sent5 -> int6: the framing is a kind of non-ascetic thing that is puritanical.; int6 -> int7: the framing is puritanical.; sent1 -> int8: the fact that the framing is a lemur and it is metamorphous is not incorrect if it is not a drain.; int8 & sent2 -> int9: the framing is a lemur that is metamorphous.; int9 -> int10: the fact that the framing is a lemur hold.; int7 & int10 -> hypothesis;
$hypothesis$ = the fact that the framing is puritanical and is a lemur does not hold. ; $context$ = sent1: if something is not a kind of a drain it is a lemur and it is not non-metamorphous. sent2: the framing is not a drain. sent3: if there exists something such that it does blacklist apple then the flak is a Brickellia that is not a jungle. sent4: the embankment blacklists apple if the shrimp is ascetic. sent5: if the shrimp is not ascetic the framing is not ascetic and is puritanical. sent6: the flak is metamorphous. sent7: the fact that the flak is a Brickellia but it is not a jungle is wrong. ; $proof$ = 
void -> assump1: Let's assume that the shrimp is ascetic.; sent4 & assump1 -> int1: the embankment does blacklist apple.; int1 -> int2: something does blacklist apple.; int2 & sent3 -> int3: the flak is a Brickellia and is not a kind of a jungle.; int3 & sent7 -> int4: this is contradiction.; [assump1] & int4 -> int5: the shrimp is not ascetic.; int5 & sent5 -> int6: the framing is a kind of non-ascetic thing that is puritanical.; int6 -> int7: the framing is puritanical.; sent1 -> int8: the fact that the framing is a lemur and it is metamorphous is not incorrect if it is not a drain.; int8 & sent2 -> int9: the framing is a lemur that is metamorphous.; int9 -> int10: the fact that the framing is a lemur hold.; int7 & int10 -> hypothesis; __DISPROVED__