the transuranicness or the slogging sarcodinian or both occurs.
sent1: that the slogging probation does not occur triggers that the metalworking does not occur and the howler happens. sent2: the fact that both the slogging probation and the non-transuranicness happens is not correct if the nonastringentness does not occur. sent3: if the marliness does not occur then both the metrologicalness and the cursorialness happens. sent4: the fact that the Oblation happens and the levy happens does not hold if the slogging satellite does not occur. sent5: that the planning occurs leads to that the indexing does not occur or that the tick does not occur or both. sent6: that the quirking happens is triggered by that the embezzlement does not occur. sent7: both the slogging probation and the nonastringentness occurs. sent8: if the indexing does not occur the slogging satellite does not occur. sent9: if the hydrocephalicness does not occur the mayoralty does not occur. sent10: that the quirking does not occur causes that both the slogging sarcodinian and the photometry happens. sent11: that the plan and the booking alternation occurs is caused by that the booking camphor does not occur. sent12: the quirking occurs. sent13: if the fact that the acanthoticness and the regenerating occurs is not true then the marliness does not occur. sent14: the fact that either the transuranicness or the slogging sarcodinian or both occurs is wrong if the slogging probation does not occur. sent15: if the embezzlement does not occur the photometry and the quirking happens. sent16: if the slogging sarcodinian occurs and the photometry happens the nonastringentness does not occur. sent17: if that the Oblation happens and the levy happens is not true the hydrocephalicness does not occur. sent18: if the non-transuranicness and the nonastringentness happens the photometry does not occur. sent19: the pruning does not occur and the booking camphor does not occur. sent20: the fact that both the acanthoticness and the regeneratingness occurs does not hold if the mayoralty does not occur.
sent7 -> int1: that the nonastringentness occurs is not incorrect.; void -> assump1: Let's assume that the transuranicness does not occur.; int1 & assump1 -> int2: the non-transuranicness and the nonastringentness occurs.; int2 & sent18 -> int3: the photometry does not occur.;
the fact that either the transuranicness occurs or the slogging sarcodinian happens or both is incorrect.
$hypothesis$ = the transuranicness or the slogging sarcodinian or both occurs. ; $context$ = sent1: that the slogging probation does not occur triggers that the metalworking does not occur and the howler happens. sent2: the fact that both the slogging probation and the non-transuranicness happens is not correct if the nonastringentness does not occur. sent3: if the marliness does not occur then both the metrologicalness and the cursorialness happens. sent4: the fact that the Oblation happens and the levy happens does not hold if the slogging satellite does not occur. sent5: that the planning occurs leads to that the indexing does not occur or that the tick does not occur or both. sent6: that the quirking happens is triggered by that the embezzlement does not occur. sent7: both the slogging probation and the nonastringentness occurs. sent8: if the indexing does not occur the slogging satellite does not occur. sent9: if the hydrocephalicness does not occur the mayoralty does not occur. sent10: that the quirking does not occur causes that both the slogging sarcodinian and the photometry happens. sent11: that the plan and the booking alternation occurs is caused by that the booking camphor does not occur. sent12: the quirking occurs. sent13: if the fact that the acanthoticness and the regenerating occurs is not true then the marliness does not occur. sent14: the fact that either the transuranicness or the slogging sarcodinian or both occurs is wrong if the slogging probation does not occur. sent15: if the embezzlement does not occur the photometry and the quirking happens. sent16: if the slogging sarcodinian occurs and the photometry happens the nonastringentness does not occur. sent17: if that the Oblation happens and the levy happens is not true the hydrocephalicness does not occur. sent18: if the non-transuranicness and the nonastringentness happens the photometry does not occur. sent19: the pruning does not occur and the booking camphor does not occur. sent20: the fact that both the acanthoticness and the regeneratingness occurs does not hold if the mayoralty does not occur. ; $proof$ = 
sent7 -> int1: that the nonastringentness occurs is not incorrect.; void -> assump1: Let's assume that the transuranicness does not occur.; int1 & assump1 -> int2: the non-transuranicness and the nonastringentness occurs.; int2 & sent18 -> int3: the photometry does not occur.; __UNKNOWN__