the fact that if the axing mudslide occurs then the fact that the leasing filaggrin but not the murdering happens is not correct is not correct.
sent1: if the upstart does not occur the fact that the leasing filaggrin occurs and the murder does not occur is not true. sent2: that the axing mudslide happens yields that the leasing filaggrin but not the murdering happens. sent3: that both the leasing filaggrin and the murder happens is not correct. sent4: the follow-up does not occur. sent5: that the leasing filaggrin but not the murder happens is caused by that the upstart does not occur. sent6: the fact that the leasing Kirkia but not the elaborating Ugandan happens is wrong if the seriousness does not occur. sent7: the fact that both the leasing filaggrin and the murdering occurs is not true if that the axing mudslide occurs is true. sent8: the lap occurs and the main does not occur. sent9: that the leasing critic happens and the enclosing pope does not occur is not true if the avuncularness happens. sent10: that the decentralization occurs hold. sent11: if the upstart does not occur then that the leasing filaggrin occurs and the murdering occurs is not right. sent12: the leasing filaggrin occurs but the murdering does not occur. sent13: if the upstart but not the follow-up happens the axing mudslide does not occur.
void -> assump2: Let's assume that the upstart happens.; assump2 & sent4 -> int1: the upstart but not the follow-up happens.; int1 & sent13 -> int2: the axing mudslide does not occur.; void -> assump1: Let's assume that the axing mudslide happens.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the upstart does not occur.; int4 & sent1 -> int5: that the leasing filaggrin happens and the murdering does not occur is not correct.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the fact that if the axing mudslide occurs then the fact that the leasing filaggrin but not the murdering happens is not correct is not correct. ; $context$ = sent1: if the upstart does not occur the fact that the leasing filaggrin occurs and the murder does not occur is not true. sent2: that the axing mudslide happens yields that the leasing filaggrin but not the murdering happens. sent3: that both the leasing filaggrin and the murder happens is not correct. sent4: the follow-up does not occur. sent5: that the leasing filaggrin but not the murder happens is caused by that the upstart does not occur. sent6: the fact that the leasing Kirkia but not the elaborating Ugandan happens is wrong if the seriousness does not occur. sent7: the fact that both the leasing filaggrin and the murdering occurs is not true if that the axing mudslide occurs is true. sent8: the lap occurs and the main does not occur. sent9: that the leasing critic happens and the enclosing pope does not occur is not true if the avuncularness happens. sent10: that the decentralization occurs hold. sent11: if the upstart does not occur then that the leasing filaggrin occurs and the murdering occurs is not right. sent12: the leasing filaggrin occurs but the murdering does not occur. sent13: if the upstart but not the follow-up happens the axing mudslide does not occur. ; $proof$ = 
void -> assump2: Let's assume that the upstart happens.; assump2 & sent4 -> int1: the upstart but not the follow-up happens.; int1 & sent13 -> int2: the axing mudslide does not occur.; void -> assump1: Let's assume that the axing mudslide happens.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the upstart does not occur.; int4 & sent1 -> int5: that the leasing filaggrin happens and the murdering does not occur is not correct.; [assump1] & int5 -> hypothesis; __DISPROVED__