that the jiggling does not occur is caused by that the stretching does not occur but the inclusion happens.
sent1: the fact that the swimming Rimbaud happens and the Sisypheanness happens does not hold. sent2: the jiggling happens. sent3: the swimming undercoated happens if the fact that not the swimming Rimbaud but the Sisypheanness occurs is wrong. sent4: the fact that not the swimming Rimbaud but the Sisypheanness happens does not hold. sent5: the corroding happens if the stretching does not occur but the inclusion happens. sent6: that the corroding occurs and the swimming undercoated occurs prevents that the jiggling does not occur. sent7: that the corroding occurs is triggered by that the stretching occurs and the inclusion happens. sent8: if the corroding does not occur then both the plan and the swimming undercoated happens. sent9: the fact that the stretching occurs is wrong. sent10: that the jiggling happens is prevented by that both the stretching and the inclusion occurs. sent11: the swimming undercoated happens if the swimming Rimbaud happens.
void -> assump1: Let's assume that the stretching does not occur and the inclusion happens.; sent5 & assump1 -> int1: the corroding occurs.; sent3 & sent4 -> int2: the swimming undercoated happens.; int1 & int2 -> int3: both the corroding and the swimming undercoated happens.;
the plan occurs.
$hypothesis$ = that the jiggling does not occur is caused by that the stretching does not occur but the inclusion happens. ; $context$ = sent1: the fact that the swimming Rimbaud happens and the Sisypheanness happens does not hold. sent2: the jiggling happens. sent3: the swimming undercoated happens if the fact that not the swimming Rimbaud but the Sisypheanness occurs is wrong. sent4: the fact that not the swimming Rimbaud but the Sisypheanness happens does not hold. sent5: the corroding happens if the stretching does not occur but the inclusion happens. sent6: that the corroding occurs and the swimming undercoated occurs prevents that the jiggling does not occur. sent7: that the corroding occurs is triggered by that the stretching occurs and the inclusion happens. sent8: if the corroding does not occur then both the plan and the swimming undercoated happens. sent9: the fact that the stretching occurs is wrong. sent10: that the jiggling happens is prevented by that both the stretching and the inclusion occurs. sent11: the swimming undercoated happens if the swimming Rimbaud happens. ; $proof$ = 
void -> assump1: Let's assume that the stretching does not occur and the inclusion happens.; sent5 & assump1 -> int1: the corroding occurs.; sent3 & sent4 -> int2: the swimming undercoated happens.; int1 & int2 -> int3: both the corroding and the swimming undercoated happens.; __UNKNOWN__