the mugging occurs.
sent1: the fixing topknot yields that the portraiture does not occur and the unsweptness does not occur. sent2: that the mugging does not occur is caused by that the portraiture does not occur and the unsweptness does not occur. sent3: that both the shrift and the normativeness happens is triggered by that the parsing Lithuanian does not occur. sent4: that both the non-Hippocraticness and the hemalness happens does not hold if the articling fifteenth occurs. sent5: that the articling dextrorotation does not occur causes that both the benignantness and the concentricness occurs. sent6: the parsing Lithuanian and the meteor occurs if the shrift does not occur. sent7: the mugging does not occur if both the parsing Lithuanian and the meteor happens. sent8: if the equalizing does not occur then the dialectalness does not occur. sent9: the shrift occurs if the parsing Lithuanian does not occur. sent10: the articling dextrorotation does not occur if that the Hippocraticness does not occur but the hemalness occurs is false. sent11: that the articling fifteenth happens and the fixing sterol occurs is triggered by that the dialectalness does not occur. sent12: if the benignantness does not occur the portraiture does not occur and the fixing topknot does not occur. sent13: the unsweptness happens if the portraiture does not occur and the fixing topknot does not occur. sent14: if that the meteor does not occur and the parsing Lithuanian does not occur does not hold then the fixing lyric does not occur. sent15: that the mugging does not occur is prevented by that the normativeness happens. sent16: the bowing does not occur. sent17: the shrift does not occur and the normativeness does not occur if the unsweptness happens. sent18: that the parsing Lithuanian occurs prevents that the meteor does not occur. sent19: the equalizing does not occur. sent20: that the portraiture happens results in that the meteor does not occur. sent21: the portraiture occurs or the unsweptness does not occur or both. sent22: the meteor does not occur if the portraiture occurs and/or the unsweptness does not occur.
void -> assump1: Let's assume that the parsing Lithuanian happens.; sent18 & assump1 -> int1: the meteor occurs.; sent22 & sent21 -> int2: the meteor does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the parsing Lithuanian does not occur.; int4 & sent3 -> int5: both the shrift and the normativeness occurs.; int5 -> int6: the normativeness happens.; int6 & sent15 -> hypothesis;
the mugging does not occur.
$hypothesis$ = the mugging occurs. ; $context$ = sent1: the fixing topknot yields that the portraiture does not occur and the unsweptness does not occur. sent2: that the mugging does not occur is caused by that the portraiture does not occur and the unsweptness does not occur. sent3: that both the shrift and the normativeness happens is triggered by that the parsing Lithuanian does not occur. sent4: that both the non-Hippocraticness and the hemalness happens does not hold if the articling fifteenth occurs. sent5: that the articling dextrorotation does not occur causes that both the benignantness and the concentricness occurs. sent6: the parsing Lithuanian and the meteor occurs if the shrift does not occur. sent7: the mugging does not occur if both the parsing Lithuanian and the meteor happens. sent8: if the equalizing does not occur then the dialectalness does not occur. sent9: the shrift occurs if the parsing Lithuanian does not occur. sent10: the articling dextrorotation does not occur if that the Hippocraticness does not occur but the hemalness occurs is false. sent11: that the articling fifteenth happens and the fixing sterol occurs is triggered by that the dialectalness does not occur. sent12: if the benignantness does not occur the portraiture does not occur and the fixing topknot does not occur. sent13: the unsweptness happens if the portraiture does not occur and the fixing topknot does not occur. sent14: if that the meteor does not occur and the parsing Lithuanian does not occur does not hold then the fixing lyric does not occur. sent15: that the mugging does not occur is prevented by that the normativeness happens. sent16: the bowing does not occur. sent17: the shrift does not occur and the normativeness does not occur if the unsweptness happens. sent18: that the parsing Lithuanian occurs prevents that the meteor does not occur. sent19: the equalizing does not occur. sent20: that the portraiture happens results in that the meteor does not occur. sent21: the portraiture occurs or the unsweptness does not occur or both. sent22: the meteor does not occur if the portraiture occurs and/or the unsweptness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the parsing Lithuanian happens.; sent18 & assump1 -> int1: the meteor occurs.; sent22 & sent21 -> int2: the meteor does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the parsing Lithuanian does not occur.; int4 & sent3 -> int5: both the shrift and the normativeness occurs.; int5 -> int6: the normativeness happens.; int6 & sent15 -> hypothesis; __PROVED__