if the resettling agave occurs the linebacker does not occur.
sent1: the indecorousness does not occur. sent2: if the defenestration happens the resettling agave does not occur. sent3: the fact that the hardness does not occur and the winning does not occur is not right. sent4: the whole happens and/or the ventilation occurs. sent5: the interdicting fortieth does not occur. sent6: either the nonconformist happens or the sartorialness occurs or both. sent7: the linebacker occurs. sent8: that the reinforcement does not occur and the resettling ramipril does not occur does not hold if the wrestling does not occur. sent9: the honeying mellowness does not occur. sent10: if that the Maundy does not occur and the resettling fad does not occur is false then the linebacker happens. sent11: that the linebacker does not occur is triggered by that the Maundy occurs. sent12: if either the cycling or the strategicness or both happens then the nudism does not occur. sent13: that the fact that the Maundy but not the resettling fad occurs hold is incorrect. sent14: that the resettling agave does not occur is caused by that the nonarbitrariness happens and/or the defenestration occurs. sent15: the linebacker is brought about by the resettling agave. sent16: the interdicting photon and/or the devising occurs. sent17: if the adjustment does not occur the fact that the Ravel does not occur and the creeping does not occur is incorrect. sent18: the disqualification does not occur. sent19: the fact that the virulentness does not occur and the intermolecularness does not occur is false. sent20: if the fact that the Maundy does not occur and the resettling fad does not occur is not correct the linebacker does not occur. sent21: that the Maundy happens and the resettling fad does not occur is not true if the nonarbitrariness does not occur.
void -> assump1: Let's assume that the nonarbitrariness occurs.; assump1 -> int1: the nonarbitrariness or the defenestration or both occurs.; int1 & sent14 -> int2: the resettling agave does not occur.; void -> assump2: Let's assume that the resettling agave occurs.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the nonarbitrariness does not occur.;
$hypothesis$ = if the resettling agave occurs the linebacker does not occur. ; $context$ = sent1: the indecorousness does not occur. sent2: if the defenestration happens the resettling agave does not occur. sent3: the fact that the hardness does not occur and the winning does not occur is not right. sent4: the whole happens and/or the ventilation occurs. sent5: the interdicting fortieth does not occur. sent6: either the nonconformist happens or the sartorialness occurs or both. sent7: the linebacker occurs. sent8: that the reinforcement does not occur and the resettling ramipril does not occur does not hold if the wrestling does not occur. sent9: the honeying mellowness does not occur. sent10: if that the Maundy does not occur and the resettling fad does not occur is false then the linebacker happens. sent11: that the linebacker does not occur is triggered by that the Maundy occurs. sent12: if either the cycling or the strategicness or both happens then the nudism does not occur. sent13: that the fact that the Maundy but not the resettling fad occurs hold is incorrect. sent14: that the resettling agave does not occur is caused by that the nonarbitrariness happens and/or the defenestration occurs. sent15: the linebacker is brought about by the resettling agave. sent16: the interdicting photon and/or the devising occurs. sent17: if the adjustment does not occur the fact that the Ravel does not occur and the creeping does not occur is incorrect. sent18: the disqualification does not occur. sent19: the fact that the virulentness does not occur and the intermolecularness does not occur is false. sent20: if the fact that the Maundy does not occur and the resettling fad does not occur is not correct the linebacker does not occur. sent21: that the Maundy happens and the resettling fad does not occur is not true if the nonarbitrariness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the nonarbitrariness occurs.; assump1 -> int1: the nonarbitrariness or the defenestration or both occurs.; int1 & sent14 -> int2: the resettling agave does not occur.; void -> assump2: Let's assume that the resettling agave occurs.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the nonarbitrariness does not occur.; __UNKNOWN__