the LEM does not ignore resource or is not a unmalleability or both.
sent1: the slasher does alliterate if that the LEM is a unmalleability and does not ignore resource does not hold. sent2: the LEM is a offside. sent3: something is not offside if the fact that it is not volcanic and/or does refute ethnocentrism is not right. sent4: the fact that the LEM does not ignore resource or it is not a unmalleability or both is not correct if the fact that it does alliterate is not wrong. sent5: if the LEM is not a kind of a offside then the fact that it is a unmalleability and does not ignore resource does not hold. sent6: that the LEM is a kind of a barrator or it is not a allegretto or both does not hold if it is a offside. sent7: if the LEM does not alliterate then it is a barrator or it is not a kind of a allegretto or both.
void -> assump1: Let's assume that the LEM does not alliterate.; sent7 & assump1 -> int1: the LEM is a kind of a barrator or it is not a allegretto or both.; sent6 & sent2 -> int2: the fact that the LEM is a barrator or it is not a kind of a allegretto or both is false.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the LEM alliterates.; int4 & sent4 -> hypothesis;
the slasher alliterates.
sent3 -> int5: if that the LEM is not volcanic and/or does refute ethnocentrism is not true then it is not offside.;
$hypothesis$ = the LEM does not ignore resource or is not a unmalleability or both. ; $context$ = sent1: the slasher does alliterate if that the LEM is a unmalleability and does not ignore resource does not hold. sent2: the LEM is a offside. sent3: something is not offside if the fact that it is not volcanic and/or does refute ethnocentrism is not right. sent4: the fact that the LEM does not ignore resource or it is not a unmalleability or both is not correct if the fact that it does alliterate is not wrong. sent5: if the LEM is not a kind of a offside then the fact that it is a unmalleability and does not ignore resource does not hold. sent6: that the LEM is a kind of a barrator or it is not a allegretto or both does not hold if it is a offside. sent7: if the LEM does not alliterate then it is a barrator or it is not a kind of a allegretto or both. ; $proof$ = 
void -> assump1: Let's assume that the LEM does not alliterate.; sent7 & assump1 -> int1: the LEM is a kind of a barrator or it is not a allegretto or both.; sent6 & sent2 -> int2: the fact that the LEM is a barrator or it is not a kind of a allegretto or both is false.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the LEM alliterates.; int4 & sent4 -> hypothesis; __DISPROVED__