the bowing challis happens but the surviving does not occur.
sent1: the fact that both the criticizing brouhaha and the nutating happens does not hold if the dogtrot does not occur. sent2: if that the dotting does not occur and/or the magnetizing Burundian does not occur is not right the fact that the four-wheelness does not occur is not incorrect. sent3: if the quadratic occurs the masonry does not occur. sent4: that the four-wheelness happens prevents the dot. sent5: the appealing occurs but the confession does not occur. sent6: that the bowing challis does not occur is prevented by that the medievalness happens. sent7: the axialness occurs. sent8: if the four-wheelness does not occur then that the bowing challis but not the surviving happens does not hold. sent9: the nutating happens. sent10: the surviving does not occur and the criticizing brouhaha does not occur if the dogtrot happens. sent11: the criticizing brouhaha does not occur. sent12: the magnetizing Burundian happens if the abjuring Segway occurs. sent13: the irremediableness happens if the nonhumanness does not occur. sent14: the axialness and the dogtrot happens. sent15: that the dotting does not occur prevents that the nutating does not occur. sent16: if the abjuring Segway and/or the combustibleness happens then the magnetizing Burundian happens. sent17: the abjuring Segway and/or the combustibleness occurs. sent18: if that the fact that both the axialness and the dogtrot happens is not correct hold then the dogtrot does not occur. sent19: if the dogtrot occurs then the criticizing brouhaha does not occur. sent20: the joggle and the tirade happens. sent21: if the dot does not occur then both the medievalness and the nutating occurs. sent22: the curse occurs if the fact that the punch-up does not occur is right.
sent16 & sent17 -> int1: that the magnetizing Burundian occurs is right.; int1 -> int2: the magnetizing Burundian occurs or the four-wheelness occurs or both.; sent14 -> int3: the dogtrot occurs.; sent10 & int3 -> int4: the surviving does not occur and the criticizing brouhaha does not occur.; int4 -> int5: the surviving does not occur.;
the fact that the bowing challis but not the surviving happens is not true.
$hypothesis$ = the bowing challis happens but the surviving does not occur. ; $context$ = sent1: the fact that both the criticizing brouhaha and the nutating happens does not hold if the dogtrot does not occur. sent2: if that the dotting does not occur and/or the magnetizing Burundian does not occur is not right the fact that the four-wheelness does not occur is not incorrect. sent3: if the quadratic occurs the masonry does not occur. sent4: that the four-wheelness happens prevents the dot. sent5: the appealing occurs but the confession does not occur. sent6: that the bowing challis does not occur is prevented by that the medievalness happens. sent7: the axialness occurs. sent8: if the four-wheelness does not occur then that the bowing challis but not the surviving happens does not hold. sent9: the nutating happens. sent10: the surviving does not occur and the criticizing brouhaha does not occur if the dogtrot happens. sent11: the criticizing brouhaha does not occur. sent12: the magnetizing Burundian happens if the abjuring Segway occurs. sent13: the irremediableness happens if the nonhumanness does not occur. sent14: the axialness and the dogtrot happens. sent15: that the dotting does not occur prevents that the nutating does not occur. sent16: if the abjuring Segway and/or the combustibleness happens then the magnetizing Burundian happens. sent17: the abjuring Segway and/or the combustibleness occurs. sent18: if that the fact that both the axialness and the dogtrot happens is not correct hold then the dogtrot does not occur. sent19: if the dogtrot occurs then the criticizing brouhaha does not occur. sent20: the joggle and the tirade happens. sent21: if the dot does not occur then both the medievalness and the nutating occurs. sent22: the curse occurs if the fact that the punch-up does not occur is right. ; $proof$ = 
sent16 & sent17 -> int1: that the magnetizing Burundian occurs is right.; int1 -> int2: the magnetizing Burundian occurs or the four-wheelness occurs or both.; sent14 -> int3: the dogtrot occurs.; sent10 & int3 -> int4: the surviving does not occur and the criticizing brouhaha does not occur.; int4 -> int5: the surviving does not occur.; __UNKNOWN__