if the joining occurs the organicisticness does not occur.
sent1: that the lockup does not occur results in that the unrentableness and the knifing occurs. sent2: if the fact that the herbal occurs and the unbuttoning Chase does not occur does not hold then the courtship occurs. sent3: if the tusking lobed occurs then the fact that the opening invitation does not occur and the mountaineering does not occur is wrong. sent4: the fact that the sarcolemmalness does not occur is correct. sent5: that the herbalness occurs is prevented by that that the cheer occurs and the cleanup does not occur hold. sent6: the fact that if the fact that the opening invitation does not occur and the mountaineering does not occur is not true the carefulness occurs hold. sent7: the unbuttoning Chase happens if the fact that the cheer occurs and the cleanup does not occur is wrong. sent8: the knife causes the non-soberingness. sent9: if that the pulverization occurs or the organicisticness occurs or both is incorrect then the fact that the joining does not occur is right. sent10: the herbal happens. sent11: the lockup is prevented by that the GHRF happens and the sousing does not occur. sent12: that the sarcolemmalness does not occur results in that the Simonizing phytotherapy happens and the GHRF occurs. sent13: the tusking lobed occurs if the lightening happens. sent14: if the carefulness occurs the sousing does not occur and the equitableness does not occur. sent15: the fact that the herbalness occurs and the unbuttoning Chase does not occur does not hold if the joining does not occur. sent16: if the soberingness does not occur the tusking Macedonian does not occur and the septation occurs. sent17: if that the tusking Macedonian does not occur hold then the fact that the pulverization happens and/or the organicisticness happens is incorrect. sent18: that the organicisticness happens is prevented by that the unbuttoning Chase occurs and the joining occurs. sent19: the cleanup does not occur.
void -> assump2: Let's assume that the cheer but not the cleanup happens.; sent5 & assump2 -> int1: the herbalness does not occur.; int1 & sent10 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the cheer but not the cleanup happens does not hold.; int3 & sent7 -> int4: the unbuttoning Chase happens.; void -> assump1: Let's assume that the joining happens.; int4 & assump1 -> int5: both the unbuttoning Chase and the joining happens.; int5 & sent18 -> int6: the organicisticness does not occur.; [assump1] & int6 -> hypothesis;
the courtship happens.
sent12 & sent4 -> int7: the Simonizing phytotherapy occurs and the GHRF happens.; int7 -> int8: that the GHRF occurs is correct.;
$hypothesis$ = if the joining occurs the organicisticness does not occur. ; $context$ = sent1: that the lockup does not occur results in that the unrentableness and the knifing occurs. sent2: if the fact that the herbal occurs and the unbuttoning Chase does not occur does not hold then the courtship occurs. sent3: if the tusking lobed occurs then the fact that the opening invitation does not occur and the mountaineering does not occur is wrong. sent4: the fact that the sarcolemmalness does not occur is correct. sent5: that the herbalness occurs is prevented by that that the cheer occurs and the cleanup does not occur hold. sent6: the fact that if the fact that the opening invitation does not occur and the mountaineering does not occur is not true the carefulness occurs hold. sent7: the unbuttoning Chase happens if the fact that the cheer occurs and the cleanup does not occur is wrong. sent8: the knife causes the non-soberingness. sent9: if that the pulverization occurs or the organicisticness occurs or both is incorrect then the fact that the joining does not occur is right. sent10: the herbal happens. sent11: the lockup is prevented by that the GHRF happens and the sousing does not occur. sent12: that the sarcolemmalness does not occur results in that the Simonizing phytotherapy happens and the GHRF occurs. sent13: the tusking lobed occurs if the lightening happens. sent14: if the carefulness occurs the sousing does not occur and the equitableness does not occur. sent15: the fact that the herbalness occurs and the unbuttoning Chase does not occur does not hold if the joining does not occur. sent16: if the soberingness does not occur the tusking Macedonian does not occur and the septation occurs. sent17: if that the tusking Macedonian does not occur hold then the fact that the pulverization happens and/or the organicisticness happens is incorrect. sent18: that the organicisticness happens is prevented by that the unbuttoning Chase occurs and the joining occurs. sent19: the cleanup does not occur. ; $proof$ = 
void -> assump2: Let's assume that the cheer but not the cleanup happens.; sent5 & assump2 -> int1: the herbalness does not occur.; int1 & sent10 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the cheer but not the cleanup happens does not hold.; int3 & sent7 -> int4: the unbuttoning Chase happens.; void -> assump1: Let's assume that the joining happens.; int4 & assump1 -> int5: both the unbuttoning Chase and the joining happens.; int5 & sent18 -> int6: the organicisticness does not occur.; [assump1] & int6 -> hypothesis; __PROVED__