that the autofluorescence prevents that the dishonorableness does not occur is false.
sent1: the fishing Iseult happens. sent2: if the fact that the acaulescentness does not occur and the autofluorescence happens hold the dishonorableness happens. sent3: the fishing aquatint does not occur if the keratotomy does not occur. sent4: that either the fishing aquatint occurs or the leftfield does not occur or both is not right if the keratotomy does not occur. sent5: the emergency occurs. sent6: either the fishing aquatint occurs or the leftfield does not occur or both if the fact that the falsification does not occur is not incorrect. sent7: the keratotomy does not occur. sent8: that the parts does not occur yields either that the reclining Tropidoclonion occurs or that the ensconcing arousal does not occur or both. sent9: the excretoriness and the swab happens. sent10: that the chastening occurs is correct if the fact that the rationalisticness happens is correct. sent11: if the pietisticness happens and the resistance happens the fishing subclass does not occur. sent12: both the unstatesmanlikeness and the disappointment happens. sent13: the non-acaulescentness is brought about by that the falsification and the disappointment occurs. sent14: the fact that the chlorination and/or the non-unclearedness occurs does not hold. sent15: the unstatesmanlikeness happens. sent16: the fishing aquatint does not occur. sent17: the messianicness happens if the airing occurs.
void -> assump2: Let's assume that the falsification does not occur.; sent6 & assump2 -> int1: the fishing aquatint occurs and/or the leftfield does not occur.; sent4 & sent7 -> int2: that either the fishing aquatint occurs or the leftfield does not occur or both does not hold.; int1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the falsification occurs.; sent12 -> int5: the disappointment happens.; int4 & int5 -> int6: the falsification and the disappointment happens.; int6 & sent13 -> int7: the acaulescentness does not occur.; void -> assump1: Let's assume that the autofluorescence happens.; int7 & assump1 -> int8: the non-acaulescentness and the autofluorescence occurs.; int8 & sent2 -> int9: the dishonorableness happens.; [assump1] & int9 -> hypothesis;
$hypothesis$ = that the autofluorescence prevents that the dishonorableness does not occur is false. ; $context$ = sent1: the fishing Iseult happens. sent2: if the fact that the acaulescentness does not occur and the autofluorescence happens hold the dishonorableness happens. sent3: the fishing aquatint does not occur if the keratotomy does not occur. sent4: that either the fishing aquatint occurs or the leftfield does not occur or both is not right if the keratotomy does not occur. sent5: the emergency occurs. sent6: either the fishing aquatint occurs or the leftfield does not occur or both if the fact that the falsification does not occur is not incorrect. sent7: the keratotomy does not occur. sent8: that the parts does not occur yields either that the reclining Tropidoclonion occurs or that the ensconcing arousal does not occur or both. sent9: the excretoriness and the swab happens. sent10: that the chastening occurs is correct if the fact that the rationalisticness happens is correct. sent11: if the pietisticness happens and the resistance happens the fishing subclass does not occur. sent12: both the unstatesmanlikeness and the disappointment happens. sent13: the non-acaulescentness is brought about by that the falsification and the disappointment occurs. sent14: the fact that the chlorination and/or the non-unclearedness occurs does not hold. sent15: the unstatesmanlikeness happens. sent16: the fishing aquatint does not occur. sent17: the messianicness happens if the airing occurs. ; $proof$ = 
void -> assump2: Let's assume that the falsification does not occur.; sent6 & assump2 -> int1: the fishing aquatint occurs and/or the leftfield does not occur.; sent4 & sent7 -> int2: that either the fishing aquatint occurs or the leftfield does not occur or both does not hold.; int1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the falsification occurs.; sent12 -> int5: the disappointment happens.; int4 & int5 -> int6: the falsification and the disappointment happens.; int6 & sent13 -> int7: the acaulescentness does not occur.; void -> assump1: Let's assume that the autofluorescence happens.; int7 & assump1 -> int8: the non-acaulescentness and the autofluorescence occurs.; int8 & sent2 -> int9: the dishonorableness happens.; [assump1] & int9 -> hypothesis; __DISPROVED__