the diabaticness does not occur.
sent1: if the dictation does not occur and the vespers does not occur the diabaticness happens. sent2: if that the self-discipline does not occur and the grading does not occur is not right the dictation does not occur. sent3: that the reclining kris happens and the innocentness happens prevents the myeloidness. sent4: if the reclining Rostov happens then that the self-discipline does not occur and the grading does not occur is wrong. sent5: that the centripetalness does not occur is not wrong if the ensconcing siderite does not occur and the raping happens. sent6: the vespers is prevented by that either the ensconcing siderite or the rape or both happens. sent7: the fact that both the lobbyism and the non-centripetalness happens is not correct if that the myeloidness does not occur is not wrong. sent8: that the lobbyism does not occur causes that the divesting and the excoriation happens. sent9: if the fact that both the lobbyism and the non-centripetalness occurs is not true the ensconcing siderite occurs. sent10: if the sex does not occur the reclining Rostov occurs and the reversion happens. sent11: the reclining kris happens and the innocentness occurs. sent12: the sex does not occur and the substantialness does not occur.
sent3 & sent11 -> int1: the myeloidness does not occur.; int1 & sent7 -> int2: that the lobbyism occurs and the centripetalness does not occur is not correct.; int2 & sent9 -> int3: the ensconcing siderite occurs.; int3 -> int4: the ensconcing siderite or the raping or both occurs.; int4 & sent6 -> int5: that the vespers does not occur is not false.; sent12 -> int6: the sex does not occur.; sent10 & int6 -> int7: the reclining Rostov happens and the reversion happens.; int7 -> int8: the reclining Rostov happens.; sent4 & int8 -> int9: that the self-discipline does not occur and the grading does not occur is not right.; sent2 & int9 -> int10: the dictation does not occur.; int5 & int10 -> int11: the dictation does not occur and the vespers does not occur.; int11 & sent1 -> hypothesis;
both the divesting and the excoriation happens.
$hypothesis$ = the diabaticness does not occur. ; $context$ = sent1: if the dictation does not occur and the vespers does not occur the diabaticness happens. sent2: if that the self-discipline does not occur and the grading does not occur is not right the dictation does not occur. sent3: that the reclining kris happens and the innocentness happens prevents the myeloidness. sent4: if the reclining Rostov happens then that the self-discipline does not occur and the grading does not occur is wrong. sent5: that the centripetalness does not occur is not wrong if the ensconcing siderite does not occur and the raping happens. sent6: the vespers is prevented by that either the ensconcing siderite or the rape or both happens. sent7: the fact that both the lobbyism and the non-centripetalness happens is not correct if that the myeloidness does not occur is not wrong. sent8: that the lobbyism does not occur causes that the divesting and the excoriation happens. sent9: if the fact that both the lobbyism and the non-centripetalness occurs is not true the ensconcing siderite occurs. sent10: if the sex does not occur the reclining Rostov occurs and the reversion happens. sent11: the reclining kris happens and the innocentness occurs. sent12: the sex does not occur and the substantialness does not occur. ; $proof$ = 
sent3 & sent11 -> int1: the myeloidness does not occur.; int1 & sent7 -> int2: that the lobbyism occurs and the centripetalness does not occur is not correct.; int2 & sent9 -> int3: the ensconcing siderite occurs.; int3 -> int4: the ensconcing siderite or the raping or both occurs.; int4 & sent6 -> int5: that the vespers does not occur is not false.; sent12 -> int6: the sex does not occur.; sent10 & int6 -> int7: the reclining Rostov happens and the reversion happens.; int7 -> int8: the reclining Rostov happens.; sent4 & int8 -> int9: that the self-discipline does not occur and the grading does not occur is not right.; sent2 & int9 -> int10: the dictation does not occur.; int5 & int10 -> int11: the dictation does not occur and the vespers does not occur.; int11 & sent1 -> hypothesis; __DISPROVED__