the fact that that the myocardium does not dart decriminalization and does not measure beating is not right if the representation is a kind of a woodlouse does not hold.
sent1: the representation is a woodlouse if the myocardium does not dart decriminalization and does not measure beating. sent2: if the myocardium is a kind of a woodlouse then the representation does not measure beating and does not dart decriminalization. sent3: the myocardium does not measure beating and it is not a woodlouse. sent4: the fact that the myocardium is not a trust is not incorrect. sent5: that the representation does not dart decriminalization and it is not a woodlouse is incorrect if that the myocardium does measure beating hold. sent6: the lungfish is a woodlouse. sent7: if the representation darts decriminalization and is not a woodlouse then the myocardium does not measure beating. sent8: if the myocardium does dart decriminalization that the representation is a woodlouse that does not measure beating is not right. sent9: that the myocardium does not dart decriminalization but it does measure beating is not correct. sent10: the wastrel is a woodlouse. sent11: that the representation does not measure beating is true if the myocardium is not a woodlouse and does not dart decriminalization. sent12: if the representation does not dart decriminalization and it is not a woodlouse the myocardium does not measure beating. sent13: that the representation is a woodlouse but it is not a framing is not correct. sent14: if the myocardium does not dart decriminalization and it does not measure beating then the representation is not a woodlouse. sent15: the representation does not dart decriminalization if the myocardium does not measure beating but it is a woodlouse.
void -> assump1: Let's assume that the myocardium does not dart decriminalization and it does not measure beating.; sent14 & assump1 -> int1: the representation is not a woodlouse.; void -> assump2: Let's assume that the representation is a woodlouse.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the myocardium does not dart decriminalization and it does not measure beating does not hold.; [assump2] & int3 -> hypothesis;
$hypothesis$ = the fact that that the myocardium does not dart decriminalization and does not measure beating is not right if the representation is a kind of a woodlouse does not hold. ; $context$ = sent1: the representation is a woodlouse if the myocardium does not dart decriminalization and does not measure beating. sent2: if the myocardium is a kind of a woodlouse then the representation does not measure beating and does not dart decriminalization. sent3: the myocardium does not measure beating and it is not a woodlouse. sent4: the fact that the myocardium is not a trust is not incorrect. sent5: that the representation does not dart decriminalization and it is not a woodlouse is incorrect if that the myocardium does measure beating hold. sent6: the lungfish is a woodlouse. sent7: if the representation darts decriminalization and is not a woodlouse then the myocardium does not measure beating. sent8: if the myocardium does dart decriminalization that the representation is a woodlouse that does not measure beating is not right. sent9: that the myocardium does not dart decriminalization but it does measure beating is not correct. sent10: the wastrel is a woodlouse. sent11: that the representation does not measure beating is true if the myocardium is not a woodlouse and does not dart decriminalization. sent12: if the representation does not dart decriminalization and it is not a woodlouse the myocardium does not measure beating. sent13: that the representation is a woodlouse but it is not a framing is not correct. sent14: if the myocardium does not dart decriminalization and it does not measure beating then the representation is not a woodlouse. sent15: the representation does not dart decriminalization if the myocardium does not measure beating but it is a woodlouse. ; $proof$ = 
void -> assump1: Let's assume that the myocardium does not dart decriminalization and it does not measure beating.; sent14 & assump1 -> int1: the representation is not a woodlouse.; void -> assump2: Let's assume that the representation is a woodlouse.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the myocardium does not dart decriminalization and it does not measure beating does not hold.; [assump2] & int3 -> hypothesis; __DISPROVED__