the micaceousness happens.
sent1: if the genealogicness does not occur both the puncturelessness and the mystification happens. sent2: the fact that the grouping Ajax happens and the detoxification happens is incorrect. sent3: if the grouping rich does not occur that the micaceousness happens hold. sent4: the untuning moth happens. sent5: if that both the grouping Ajax and the detoxification occurs is not true the grouping rich does not occur. sent6: that the joint does not occur causes that the debarring boss does not occur. sent7: the fact that the desecrating proprietress does not occur is not incorrect. sent8: the starchlessness happens. sent9: that the brahminicness does not occur leads to that both the untuning Arecidae and the untuning tolazoline occurs. sent10: if the puncturelessness happens the meatiness happens but the brahminicness does not occur. sent11: the nimbus does not occur if the soiling does not occur. sent12: the untuning Arecidae happens and/or the grouping rich occurs if the untuning tolazoline does not occur. sent13: if the untuning Arecidae happens the grouping rich and the non-micaceousness occurs. sent14: the fact that the basinalness does not occur hold. sent15: the viscometry does not occur. sent16: if the fact that both the computationalness and the non-meteoricness occurs is wrong then the fact that the genealogicness does not occur is not false. sent17: the fact that both the desecrating blip and the communication happens is not true. sent18: the administering occurs. sent19: the fact that that both the Javaneseness and the loopiness happens is not incorrect does not hold if the micaceousness does not occur. sent20: the colloguing happens. sent21: that that both the grouping craftiness and the colloguing occurs hold is not correct.
sent5 & sent2 -> int1: the grouping rich does not occur.; sent3 & int1 -> hypothesis;
the fact that the fact that the Javaneseness and the loopiness occurs does not hold is true.
$hypothesis$ = the micaceousness happens. ; $context$ = sent1: if the genealogicness does not occur both the puncturelessness and the mystification happens. sent2: the fact that the grouping Ajax happens and the detoxification happens is incorrect. sent3: if the grouping rich does not occur that the micaceousness happens hold. sent4: the untuning moth happens. sent5: if that both the grouping Ajax and the detoxification occurs is not true the grouping rich does not occur. sent6: that the joint does not occur causes that the debarring boss does not occur. sent7: the fact that the desecrating proprietress does not occur is not incorrect. sent8: the starchlessness happens. sent9: that the brahminicness does not occur leads to that both the untuning Arecidae and the untuning tolazoline occurs. sent10: if the puncturelessness happens the meatiness happens but the brahminicness does not occur. sent11: the nimbus does not occur if the soiling does not occur. sent12: the untuning Arecidae happens and/or the grouping rich occurs if the untuning tolazoline does not occur. sent13: if the untuning Arecidae happens the grouping rich and the non-micaceousness occurs. sent14: the fact that the basinalness does not occur hold. sent15: the viscometry does not occur. sent16: if the fact that both the computationalness and the non-meteoricness occurs is wrong then the fact that the genealogicness does not occur is not false. sent17: the fact that both the desecrating blip and the communication happens is not true. sent18: the administering occurs. sent19: the fact that that both the Javaneseness and the loopiness happens is not incorrect does not hold if the micaceousness does not occur. sent20: the colloguing happens. sent21: that that both the grouping craftiness and the colloguing occurs hold is not correct. ; $proof$ = 
sent5 & sent2 -> int1: the grouping rich does not occur.; sent3 & int1 -> hypothesis; __PROVED__