the tomentoseness does not occur.
sent1: the diathermy is prevented by that the oversimplification occurs. sent2: the extrusion and the summeriness happens. sent3: the extrusion occurs. sent4: the stellarness happens if the fact that the heartbeat does not occur and the erasing limey does not occur is not right. sent5: the fact that the erasing butterfly happens is not false. sent6: the Germanness does not occur if the ferrimagnetism happens. sent7: that the extrusion does not occur is triggered by that the incarnation occurs but the erasing gooseflesh does not occur. sent8: that the heartbeat but not the erasing limey happens is wrong. sent9: the fact that the erasing limey and the non-stellarness happens is not correct if the extrusion does not occur. sent10: that the oversimplification and the extinguishableness occurs is brought about by that the burial does not occur. sent11: the fact that the heartbeat but not the erasing limey happens is incorrect if the rupture does not occur. sent12: the fact that the summeriness does not occur is not wrong if the defecting occurs and/or the blackmailing poppet occurs. sent13: the prostheticness occurs. sent14: the summeriness does not occur if the blackmailing poppet happens. sent15: if the afterglow occurs the rupture does not occur. sent16: the afterglow does not occur if the summeriness does not occur and the rupture does not occur. sent17: that the defecting does not occur yields the afterglow. sent18: that the blackmailing officer occurs is right if the smoulder does not occur. sent19: that the heartbeat happens leads to that the stellarness occurs. sent20: if the rupture does not occur then the fact that the heartbeat does not occur and the erasing limey does not occur is not true. sent21: the stellarness prevents that the tomentoseness does not occur. sent22: that the blackmailing poppet does not occur is triggered by that the afterglow does not occur or the blackmailing poppet does not occur or both. sent23: the incarnation occurs and the erasing gooseflesh does not occur if the diathermy does not occur. sent24: the heartbeat does not occur if the fact that both the erasing limey and the non-stellarness happens is false. sent25: the tomentoseness does not occur if that the tomentoseness but not the defect happens is wrong.
void -> assump1: Let's assume that the defect happens.; assump1 -> int1: the defect occurs or the blackmailing poppet happens or both.; int1 & sent12 -> int2: the summeriness does not occur.; sent2 -> int3: the summeriness occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the defecting does not occur.; int5 & sent17 -> int6: the afterglow happens.; int6 & sent15 -> int7: the rupture does not occur.; int7 & sent20 -> int8: that the heartbeat does not occur and the erasing limey does not occur is not correct.; int8 & sent4 -> int9: the stellarness happens.; int9 & sent21 -> hypothesis;
the tomentoseness does not occur.
$hypothesis$ = the tomentoseness does not occur. ; $context$ = sent1: the diathermy is prevented by that the oversimplification occurs. sent2: the extrusion and the summeriness happens. sent3: the extrusion occurs. sent4: the stellarness happens if the fact that the heartbeat does not occur and the erasing limey does not occur is not right. sent5: the fact that the erasing butterfly happens is not false. sent6: the Germanness does not occur if the ferrimagnetism happens. sent7: that the extrusion does not occur is triggered by that the incarnation occurs but the erasing gooseflesh does not occur. sent8: that the heartbeat but not the erasing limey happens is wrong. sent9: the fact that the erasing limey and the non-stellarness happens is not correct if the extrusion does not occur. sent10: that the oversimplification and the extinguishableness occurs is brought about by that the burial does not occur. sent11: the fact that the heartbeat but not the erasing limey happens is incorrect if the rupture does not occur. sent12: the fact that the summeriness does not occur is not wrong if the defecting occurs and/or the blackmailing poppet occurs. sent13: the prostheticness occurs. sent14: the summeriness does not occur if the blackmailing poppet happens. sent15: if the afterglow occurs the rupture does not occur. sent16: the afterglow does not occur if the summeriness does not occur and the rupture does not occur. sent17: that the defecting does not occur yields the afterglow. sent18: that the blackmailing officer occurs is right if the smoulder does not occur. sent19: that the heartbeat happens leads to that the stellarness occurs. sent20: if the rupture does not occur then the fact that the heartbeat does not occur and the erasing limey does not occur is not true. sent21: the stellarness prevents that the tomentoseness does not occur. sent22: that the blackmailing poppet does not occur is triggered by that the afterglow does not occur or the blackmailing poppet does not occur or both. sent23: the incarnation occurs and the erasing gooseflesh does not occur if the diathermy does not occur. sent24: the heartbeat does not occur if the fact that both the erasing limey and the non-stellarness happens is false. sent25: the tomentoseness does not occur if that the tomentoseness but not the defect happens is wrong. ; $proof$ = 
void -> assump1: Let's assume that the defect happens.; assump1 -> int1: the defect occurs or the blackmailing poppet happens or both.; int1 & sent12 -> int2: the summeriness does not occur.; sent2 -> int3: the summeriness occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the defecting does not occur.; int5 & sent17 -> int6: the afterglow happens.; int6 & sent15 -> int7: the rupture does not occur.; int7 & sent20 -> int8: that the heartbeat does not occur and the erasing limey does not occur is not correct.; int8 & sent4 -> int9: the stellarness happens.; int9 & sent21 -> hypothesis; __DISPROVED__