that if the Laotianness happens the aggrieving does not occur does not hold.
sent1: the checkers happens. sent2: that the requiescat does not occur is true if the fact that the angering does not occur and the weaving fist does not occur is not right. sent3: the sepulchralness occurs and the self-organization happens. sent4: the appealableness and the warning occurs if the requiescat does not occur. sent5: if the fact that the butting Selene occurs is false then not the blooming but the toot happens. sent6: the aggrieving does not occur if the Laotianness and the nonprofit occurs. sent7: both the rotogravure and the Belarusian happens. sent8: the nonprofit happens. sent9: the aggrieving occurs. sent10: the fact that the rearing flightiness does not occur is right if both the containment and the caroling occurs. sent11: the fact that the aggrieving happens and the mineral does not occur is not correct if the blooming does not occur. sent12: the rearing sushi happens. sent13: if that the aggrieving but not the mineralness happens is wrong the nonprofit does not occur. sent14: the aggrieving occurs if the Laotianness happens. sent15: if the fact that the rearing sushi occurs and the interdiction does not occur does not hold the meteoriticness occurs. sent16: the butting Selene does not occur but the butting beach happens if the fact that the meteoriticness happens is correct. sent17: that the aggrieving does not occur is prevented by the fact that that the Laotianness happens and the nonprofit occurs is not incorrect. sent18: if the checkering happens the fact that the anger does not occur and the weaving fist does not occur does not hold. sent19: both the apothegmaticness and the stimulation happens. sent20: the bimolecularness occurs. sent21: that the nonprofit does not occur results in that both the Laotianness and the road happens.
void -> assump1: Let's assume that the Laotianness occurs.; assump1 & sent8 -> int1: both the Laotianness and the nonprofit happens.; sent6 & int1 -> int2: the aggrieving does not occur.; [assump1] & int2 -> hypothesis;
both the appealableness and the road occurs.
sent18 & sent1 -> int3: the fact that the anger does not occur and the weaving fist does not occur is not correct.; sent2 & int3 -> int4: the requiescat does not occur.; sent4 & int4 -> int5: the appealableness occurs and the warning happens.; int5 -> int6: the appealableness occurs.;
$hypothesis$ = that if the Laotianness happens the aggrieving does not occur does not hold. ; $context$ = sent1: the checkers happens. sent2: that the requiescat does not occur is true if the fact that the angering does not occur and the weaving fist does not occur is not right. sent3: the sepulchralness occurs and the self-organization happens. sent4: the appealableness and the warning occurs if the requiescat does not occur. sent5: if the fact that the butting Selene occurs is false then not the blooming but the toot happens. sent6: the aggrieving does not occur if the Laotianness and the nonprofit occurs. sent7: both the rotogravure and the Belarusian happens. sent8: the nonprofit happens. sent9: the aggrieving occurs. sent10: the fact that the rearing flightiness does not occur is right if both the containment and the caroling occurs. sent11: the fact that the aggrieving happens and the mineral does not occur is not correct if the blooming does not occur. sent12: the rearing sushi happens. sent13: if that the aggrieving but not the mineralness happens is wrong the nonprofit does not occur. sent14: the aggrieving occurs if the Laotianness happens. sent15: if the fact that the rearing sushi occurs and the interdiction does not occur does not hold the meteoriticness occurs. sent16: the butting Selene does not occur but the butting beach happens if the fact that the meteoriticness happens is correct. sent17: that the aggrieving does not occur is prevented by the fact that that the Laotianness happens and the nonprofit occurs is not incorrect. sent18: if the checkering happens the fact that the anger does not occur and the weaving fist does not occur does not hold. sent19: both the apothegmaticness and the stimulation happens. sent20: the bimolecularness occurs. sent21: that the nonprofit does not occur results in that both the Laotianness and the road happens. ; $proof$ = 
void -> assump1: Let's assume that the Laotianness occurs.; assump1 & sent8 -> int1: both the Laotianness and the nonprofit happens.; sent6 & int1 -> int2: the aggrieving does not occur.; [assump1] & int2 -> hypothesis; __DISPROVED__