the IRA happens.
sent1: the barring happens if that the checkmate happens and the becoming Hammett does not occur is incorrect. sent2: the compression and the defiantness happens if that the mounting does not occur hold. sent3: the mounting does not occur. sent4: that the checkmating but not the becoming Hammett happens is false. sent5: if the pack does not occur and the nursing slattern does not occur the compression does not occur. sent6: if the IRA occurs and the barring occurs the scumble does not occur. sent7: the pack does not occur and the nursing slattern does not occur if the fact that the scumble does not occur is right.
sent1 & sent4 -> int1: the barring happens.; void -> assump1: Let's assume that the IRA occurs.; int1 & assump1 -> int2: both the IRA and the barring happens.; int2 & sent6 -> int3: the scumble does not occur.; int3 & sent7 -> int4: the packing does not occur and the nursing slattern does not occur.; int4 & sent5 -> int5: the compression does not occur.; sent2 & sent3 -> int6: both the compression and the defiantness occurs.; int6 -> int7: the compression occurs.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis;
$hypothesis$ = the IRA happens. ; $context$ = sent1: the barring happens if that the checkmate happens and the becoming Hammett does not occur is incorrect. sent2: the compression and the defiantness happens if that the mounting does not occur hold. sent3: the mounting does not occur. sent4: that the checkmating but not the becoming Hammett happens is false. sent5: if the pack does not occur and the nursing slattern does not occur the compression does not occur. sent6: if the IRA occurs and the barring occurs the scumble does not occur. sent7: the pack does not occur and the nursing slattern does not occur if the fact that the scumble does not occur is right. ; $proof$ = 
sent1 & sent4 -> int1: the barring happens.; void -> assump1: Let's assume that the IRA occurs.; int1 & assump1 -> int2: both the IRA and the barring happens.; int2 & sent6 -> int3: the scumble does not occur.; int3 & sent7 -> int4: the packing does not occur and the nursing slattern does not occur.; int4 & sent5 -> int5: the compression does not occur.; sent2 & sent3 -> int6: both the compression and the defiantness occurs.; int6 -> int7: the compression occurs.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis; __DISPROVED__