the photosyntheticness does not occur.
sent1: the nursing Mokulu occurs if the no-brainer happens. sent2: if the messiahship but not the felicitousness occurs then the patching occurs. sent3: if the infinitivalness does not occur and the clarioning does not occur then the Chileanness does not occur. sent4: the journalisticness does not occur if the fact that not the innocentness but the comb happens is wrong. sent5: if the animation and the ruckling occurs then the patching does not occur. sent6: that that both the becoming lamphouse and the disguising occurs is triggered by the non-Chileanness hold. sent7: that either the quadrangularness happens or the nursing sledder does not occur or both is caused by that the becoming lamphouse happens. sent8: the journalisticness does not occur if the innocentness happens. sent9: the animation happens. sent10: if the attacking does not occur then both the hurdles and the no-brainer happens. sent11: the fact that that the innocentness happens and the comb happens is correct is not correct. sent12: the fact that the animation occurs hold if the journalisticness does not occur. sent13: that the quadrangularness happens or the nursing sledder does not occur or both results in that the attack does not occur. sent14: if the nursing Mokulu occurs the messiahship occurs and the felicitousness does not occur. sent15: the innocent does not occur. sent16: that the photosyntheticness and the non-journalisticness occurs is not true if the ruckling does not occur. sent17: the photosyntheticness occurs if the non-innocentness and the comb happens. sent18: the felicitousness does not occur. sent19: the felicitousness happens if the patching does not occur. sent20: that the animation happens and the ruckling happens is caused by that the journalisticness does not occur. sent21: that the innocentness happens and the combing occurs prevents the non-photosyntheticness.
void -> assump1: Let's assume that that not the innocent but the combing happens is not true.; sent4 & assump1 -> int1: the journalisticness does not occur.; int1 & sent20 -> int2: both the animation and the ruckling occurs.; int2 & sent5 -> int3: the fact that the patching does not occur is not incorrect.; int3 & sent19 -> int4: the felicitousness occurs.; int4 & sent18 -> int5: this is contradiction.; [assump1] & int5 -> int6: both the non-innocentness and the comb occurs.; int6 & sent17 -> hypothesis;
the photosyntheticness does not occur.
$hypothesis$ = the photosyntheticness does not occur. ; $context$ = sent1: the nursing Mokulu occurs if the no-brainer happens. sent2: if the messiahship but not the felicitousness occurs then the patching occurs. sent3: if the infinitivalness does not occur and the clarioning does not occur then the Chileanness does not occur. sent4: the journalisticness does not occur if the fact that not the innocentness but the comb happens is wrong. sent5: if the animation and the ruckling occurs then the patching does not occur. sent6: that that both the becoming lamphouse and the disguising occurs is triggered by the non-Chileanness hold. sent7: that either the quadrangularness happens or the nursing sledder does not occur or both is caused by that the becoming lamphouse happens. sent8: the journalisticness does not occur if the innocentness happens. sent9: the animation happens. sent10: if the attacking does not occur then both the hurdles and the no-brainer happens. sent11: the fact that that the innocentness happens and the comb happens is correct is not correct. sent12: the fact that the animation occurs hold if the journalisticness does not occur. sent13: that the quadrangularness happens or the nursing sledder does not occur or both results in that the attack does not occur. sent14: if the nursing Mokulu occurs the messiahship occurs and the felicitousness does not occur. sent15: the innocent does not occur. sent16: that the photosyntheticness and the non-journalisticness occurs is not true if the ruckling does not occur. sent17: the photosyntheticness occurs if the non-innocentness and the comb happens. sent18: the felicitousness does not occur. sent19: the felicitousness happens if the patching does not occur. sent20: that the animation happens and the ruckling happens is caused by that the journalisticness does not occur. sent21: that the innocentness happens and the combing occurs prevents the non-photosyntheticness. ; $proof$ = 
void -> assump1: Let's assume that that not the innocent but the combing happens is not true.; sent4 & assump1 -> int1: the journalisticness does not occur.; int1 & sent20 -> int2: both the animation and the ruckling occurs.; int2 & sent5 -> int3: the fact that the patching does not occur is not incorrect.; int3 & sent19 -> int4: the felicitousness occurs.; int4 & sent18 -> int5: this is contradiction.; [assump1] & int5 -> int6: both the non-innocentness and the comb occurs.; int6 & sent17 -> hypothesis; __DISPROVED__