something is not a lasting and it does not predominate.
sent1: something is not lawful. sent2: if the wad is lasting it is not a transcript. sent3: if a non-abdominal thing is a Liechtensteiner then that the wad is a kind of a transcript is right. sent4: that something is a kind of non-abdominal a Liechtensteiner hold. sent5: if the wad is not a kind of a lasting then the milldam does not lasting and it does not predominate.
void -> assump1: Let's assume that that the wad does last is correct.; sent2 & assump1 -> int1: the wad is not a transcript.; sent4 & sent3 -> int2: the wad is a transcript.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the wad does not last.; int4 & sent5 -> int5: the milldam is not a lasting and it does not predominate.; int5 -> hypothesis;
$hypothesis$ = something is not a lasting and it does not predominate. ; $context$ = sent1: something is not lawful. sent2: if the wad is lasting it is not a transcript. sent3: if a non-abdominal thing is a Liechtensteiner then that the wad is a kind of a transcript is right. sent4: that something is a kind of non-abdominal a Liechtensteiner hold. sent5: if the wad is not a kind of a lasting then the milldam does not lasting and it does not predominate. ; $proof$ = 
void -> assump1: Let's assume that that the wad does last is correct.; sent2 & assump1 -> int1: the wad is not a transcript.; sent4 & sent3 -> int2: the wad is a transcript.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the wad does not last.; int4 & sent5 -> int5: the milldam is not a lasting and it does not predominate.; int5 -> hypothesis; __PROVED__