not the objecting Tesla but the entozoicness happens.
sent1: the breaststroking does not occur. sent2: that the typology does not occur is triggered by either the Icelandicness or the doubling or both. sent3: the non-heavy-dutiness leads to that the Platonisticness happens. sent4: the dinging jawbreaker does not occur if the dinging jawbreaker does not occur or the chink happens or both. sent5: the Platonisticness occurs. sent6: if the heavy-dutiness does not occur and the disclaimer happens then the objecting Tesla does not occur. sent7: the entozoicness occurs if the fact that the disclaimer does not occur but the heavy-dutiness happens is not right. sent8: if the dinging ecclesiology does not occur the fact that the objecting Tesla does not occur but the entozoicness happens does not hold. sent9: the Platonisticness happens if the terror occurs and the typology does not occur. sent10: both the Platonisticness and the Doctor happens if the heavy-dutiness does not occur. sent11: the dinging cyclicity occurs. sent12: the objecting libertine happens if the dinging flavorlessness happens. sent13: the entozoicness happens if the Platonisticness occurs. sent14: if the outgeneraling dugout happens then the dinging cyclicity happens and the dinging ecclesiology does not occur. sent15: that the terror occurs and the dinging styrene occurs if the dinging jawbreaker does not occur hold. sent16: that the claiming does not occur is true if that not the squeak but the claiming occurs is not correct. sent17: the disclaimer does not occur. sent18: if the heavy-dutiness occurs and the disclaimer does not occur the headquartering transgene does not occur. sent19: if the Doctor and the dinging cyclicity happens then the dinging ecclesiology does not occur. sent20: the outgeneraling dugout and the Guatemalan occurs if the dinging flavorlessness does not occur. sent21: either the dinging jawbreaker does not occur or the chinking happens or both. sent22: the dinging flavorlessness does not occur if the claiming does not occur. sent23: if the heavy-dutiness happens the fact that the disclaimer happens is not false.
void -> assump1: Let's assume that the heavy-dutiness occurs.; sent23 & assump1 -> int1: the disclaimer happens.; int1 & sent17 -> int2: this is contradiction.; [assump1] & int2 -> int3: the heavy-dutiness does not occur.; int3 & sent10 -> int4: the Platonisticness happens and the Doctor occurs.; int4 -> int5: the Doctor happens.; int5 & sent11 -> int6: the fact that the Doctor and the dinging cyclicity occurs is correct.; int6 & sent19 -> int7: the dinging ecclesiology does not occur.; int7 & sent8 -> hypothesis;
not the objecting Tesla but the entozoicness happens.
$hypothesis$ = not the objecting Tesla but the entozoicness happens. ; $context$ = sent1: the breaststroking does not occur. sent2: that the typology does not occur is triggered by either the Icelandicness or the doubling or both. sent3: the non-heavy-dutiness leads to that the Platonisticness happens. sent4: the dinging jawbreaker does not occur if the dinging jawbreaker does not occur or the chink happens or both. sent5: the Platonisticness occurs. sent6: if the heavy-dutiness does not occur and the disclaimer happens then the objecting Tesla does not occur. sent7: the entozoicness occurs if the fact that the disclaimer does not occur but the heavy-dutiness happens is not right. sent8: if the dinging ecclesiology does not occur the fact that the objecting Tesla does not occur but the entozoicness happens does not hold. sent9: the Platonisticness happens if the terror occurs and the typology does not occur. sent10: both the Platonisticness and the Doctor happens if the heavy-dutiness does not occur. sent11: the dinging cyclicity occurs. sent12: the objecting libertine happens if the dinging flavorlessness happens. sent13: the entozoicness happens if the Platonisticness occurs. sent14: if the outgeneraling dugout happens then the dinging cyclicity happens and the dinging ecclesiology does not occur. sent15: that the terror occurs and the dinging styrene occurs if the dinging jawbreaker does not occur hold. sent16: that the claiming does not occur is true if that not the squeak but the claiming occurs is not correct. sent17: the disclaimer does not occur. sent18: if the heavy-dutiness occurs and the disclaimer does not occur the headquartering transgene does not occur. sent19: if the Doctor and the dinging cyclicity happens then the dinging ecclesiology does not occur. sent20: the outgeneraling dugout and the Guatemalan occurs if the dinging flavorlessness does not occur. sent21: either the dinging jawbreaker does not occur or the chinking happens or both. sent22: the dinging flavorlessness does not occur if the claiming does not occur. sent23: if the heavy-dutiness happens the fact that the disclaimer happens is not false. ; $proof$ = 
void -> assump1: Let's assume that the heavy-dutiness occurs.; sent23 & assump1 -> int1: the disclaimer happens.; int1 & sent17 -> int2: this is contradiction.; [assump1] & int2 -> int3: the heavy-dutiness does not occur.; int3 & sent10 -> int4: the Platonisticness happens and the Doctor occurs.; int4 -> int5: the Doctor happens.; int5 & sent11 -> int6: the fact that the Doctor and the dinging cyclicity occurs is correct.; int6 & sent19 -> int7: the dinging ecclesiology does not occur.; int7 & sent8 -> hypothesis; __DISPROVED__