the oracularness happens.
sent1: either the conquest happens or the corrigibleness occurs or both. sent2: that the submergence happens results in that the feminism does not occur and the miming does not occur. sent3: the submergence occurs if the troubling AFL-CIO happens. sent4: the fact that the tasting occurs or the juice occurs or both is incorrect if the frequentness does not occur. sent5: if the fact that the resetting destructibility does not occur is correct then the fact that the lamentation and the incestuousness occurs is false. sent6: the oracularness does not occur if the feminism does not occur. sent7: that the commonsness happens and/or the lamentation occurs triggers the non-incestuousness. sent8: that the piping and the non-paniculateness happens is right. sent9: the non-commonsness is triggered by that the feminism does not occur and the mime does not occur. sent10: if the incestuousness does not occur then the feminism does not occur. sent11: the fact that the monoeciousness does not occur is correct if the fact that the tasting happens and/or the juice happens is wrong. sent12: the staccatoness does not occur if that the conquest does not occur but the staccatoness happens is not correct. sent13: if the non-monoeciousness and the stilling petty happens then that the resetting destructibility does not occur is not incorrect. sent14: if the conquest happens then the commonsness happens. sent15: that the frequenting does not occur is caused by that both the piping and the non-paniculateness happens. sent16: that the corrigibleness does not occur and the conquest does not occur results in the oracularness. sent17: if that the corrigibleness happens is true the commonsness occurs. sent18: the stilling petty occurs if the resetting incompressibility does not occur and/or the walk-through does not occur.
sent1 & sent14 & sent17 -> int1: the commonsness occurs.; int1 -> int2: the commonsness or the lamentation or both occurs.; sent7 & int2 -> int3: the fact that the incestuousness does not occur hold.; sent10 & int3 -> int4: the feminism does not occur.; sent6 & int4 -> hypothesis;
the oracularness occurs.
sent15 & sent8 -> int5: the frequentness does not occur.; sent4 & int5 -> int6: that the tasting and/or the juice occurs does not hold.; sent11 & int6 -> int7: the monoeciousness does not occur.;
$hypothesis$ = the oracularness happens. ; $context$ = sent1: either the conquest happens or the corrigibleness occurs or both. sent2: that the submergence happens results in that the feminism does not occur and the miming does not occur. sent3: the submergence occurs if the troubling AFL-CIO happens. sent4: the fact that the tasting occurs or the juice occurs or both is incorrect if the frequentness does not occur. sent5: if the fact that the resetting destructibility does not occur is correct then the fact that the lamentation and the incestuousness occurs is false. sent6: the oracularness does not occur if the feminism does not occur. sent7: that the commonsness happens and/or the lamentation occurs triggers the non-incestuousness. sent8: that the piping and the non-paniculateness happens is right. sent9: the non-commonsness is triggered by that the feminism does not occur and the mime does not occur. sent10: if the incestuousness does not occur then the feminism does not occur. sent11: the fact that the monoeciousness does not occur is correct if the fact that the tasting happens and/or the juice happens is wrong. sent12: the staccatoness does not occur if that the conquest does not occur but the staccatoness happens is not correct. sent13: if the non-monoeciousness and the stilling petty happens then that the resetting destructibility does not occur is not incorrect. sent14: if the conquest happens then the commonsness happens. sent15: that the frequenting does not occur is caused by that both the piping and the non-paniculateness happens. sent16: that the corrigibleness does not occur and the conquest does not occur results in the oracularness. sent17: if that the corrigibleness happens is true the commonsness occurs. sent18: the stilling petty occurs if the resetting incompressibility does not occur and/or the walk-through does not occur. ; $proof$ = 
sent1 & sent14 & sent17 -> int1: the commonsness occurs.; int1 -> int2: the commonsness or the lamentation or both occurs.; sent7 & int2 -> int3: the fact that the incestuousness does not occur hold.; sent10 & int3 -> int4: the feminism does not occur.; sent6 & int4 -> hypothesis; __DISPROVED__