the cranking sentence happens and the pastime happens.
sent1: the dumping and/or the physiotherapy happens. sent2: the fooling Belloc happens. sent3: that the fact that the separating does not occur and the adaptiveness does not occur is wrong is true if the inferior happens. sent4: if the fooling Belloc does not occur the fact that the cranking sentence happens and the pastime occurs is incorrect. sent5: the eyelessness occurs. sent6: that either the non-separateness or the non-inferiorness or both occurs leads to the non-non-separate. sent7: the cooling and/or the unseductiveness occurs. sent8: if that the non-separateness and the non-adaptiveness happens is incorrect the unseductiveness occurs. sent9: the Modernness happens and the macrobioticness happens. sent10: the monstrosity happens and/or the paintableness happens. sent11: both the non-inferiorness and the impending occurs if that the knowableness does not occur is not incorrect. sent12: that the inferior does not occur and the impending occurs prevents that the separate happens. sent13: either the monstrosity or the talking classicism or both happens. sent14: the pastime occurs if the unseductiveness happens. sent15: if the cranking sentence does not occur but the fooling Belloc happens the euphoricness happens. sent16: the fact that the crosswiseness and the knowableness happens does not hold. sent17: the fooling Belloc and the cranking sentence happens. sent18: the aphoristicness occurs if the fact that the aphoristicness does not occur and the pastime does not occur is not correct. sent19: the knowableness does not occur if that the crosswiseness and the knowableness happens is incorrect. sent20: the onomasticness happens if the demising happens. sent21: the pastime is caused by the cooling. sent22: if the separate does not occur that the aphoristicness does not occur and the pastime does not occur is wrong.
sent17 -> int1: the cranking sentence occurs.; sent7 & sent21 & sent14 -> int2: the pastime occurs.; int1 & int2 -> hypothesis;
the aphoristicness happens and the euphoricness happens.
sent19 & sent16 -> int3: the knowableness does not occur.; sent11 & int3 -> int4: the non-inferiorness and the impending occurs.; sent12 & int4 -> int5: the separateness does not occur.; sent22 & int5 -> int6: that the fact that the aphoristicness does not occur and the pastime does not occur is not right is not wrong.; sent18 & int6 -> int7: that the fact that the aphoristicness does not occur hold does not hold.;
$hypothesis$ = the cranking sentence happens and the pastime happens. ; $context$ = sent1: the dumping and/or the physiotherapy happens. sent2: the fooling Belloc happens. sent3: that the fact that the separating does not occur and the adaptiveness does not occur is wrong is true if the inferior happens. sent4: if the fooling Belloc does not occur the fact that the cranking sentence happens and the pastime occurs is incorrect. sent5: the eyelessness occurs. sent6: that either the non-separateness or the non-inferiorness or both occurs leads to the non-non-separate. sent7: the cooling and/or the unseductiveness occurs. sent8: if that the non-separateness and the non-adaptiveness happens is incorrect the unseductiveness occurs. sent9: the Modernness happens and the macrobioticness happens. sent10: the monstrosity happens and/or the paintableness happens. sent11: both the non-inferiorness and the impending occurs if that the knowableness does not occur is not incorrect. sent12: that the inferior does not occur and the impending occurs prevents that the separate happens. sent13: either the monstrosity or the talking classicism or both happens. sent14: the pastime occurs if the unseductiveness happens. sent15: if the cranking sentence does not occur but the fooling Belloc happens the euphoricness happens. sent16: the fact that the crosswiseness and the knowableness happens does not hold. sent17: the fooling Belloc and the cranking sentence happens. sent18: the aphoristicness occurs if the fact that the aphoristicness does not occur and the pastime does not occur is not correct. sent19: the knowableness does not occur if that the crosswiseness and the knowableness happens is incorrect. sent20: the onomasticness happens if the demising happens. sent21: the pastime is caused by the cooling. sent22: if the separate does not occur that the aphoristicness does not occur and the pastime does not occur is wrong. ; $proof$ = 
sent17 -> int1: the cranking sentence occurs.; sent7 & sent21 & sent14 -> int2: the pastime occurs.; int1 & int2 -> hypothesis; __PROVED__