if the fact that the counting Drosophyllum does not occur and the lottery occurs is not true then the homostylousness does not occur.
sent1: if the mainness happens the stumbling Celsius happens. sent2: that the mainness occurs and/or the homostylousness triggers that the counting Drosophyllum does not occur. sent3: the grading PKD does not occur. sent4: the tryst but not the intracerebralness occurs. sent5: the beguine occurs if both the stoking shell and the grading triolein occurs. sent6: the spiriting does not occur and the stylelessness occurs. sent7: the rating does not occur. sent8: the fact that the rallying does not occur and the stumbling newsletter happens is not right. sent9: that the lottery does not occur is prevented by that both the tryst and the non-intracerebralness occurs. sent10: that the grading incorrectness occurs and/or the legatoness prevents the rambling. sent11: that the intolerableness but not the canonistness occurs prevents the non-profoundness. sent12: the ruse does not occur. sent13: the stoking earache does not occur if the fact that not the prostitution but the rinsing happens is not correct. sent14: the fact that the cerebrovascularness and/or the grading laziness occurs is not wrong. sent15: that the counting Amur does not occur and the suppurating happens prevents the grading outsole. sent16: the preventive occurs. sent17: that the grading laziness does not occur but the suppurating occurs does not hold. sent18: the mindfulness does not occur if the bathymetricness occurs. sent19: the counting Drosophyllum occurs if the fact that the counting Drosophyllum does not occur and the intracerebralness does not occur does not hold.
void -> assump1: Let's assume that the homostylousness happens.; assump1 -> int1: the main occurs or the homostylousness occurs or both.; int1 & sent2 -> int2: the counting Drosophyllum does not occur.; sent9 & sent4 -> int3: the fact that the lottery occurs is not wrong.; int2 & int3 -> int4: the counting Drosophyllum does not occur and the lottery occurs.; void -> assump2: Let's assume that the fact that not the counting Drosophyllum but the lottery happens is wrong.; int4 & assump2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the homostylousness does not occur.; [assump2] & int6 -> hypothesis;
the stumbling Celsius occurs.
$hypothesis$ = if the fact that the counting Drosophyllum does not occur and the lottery occurs is not true then the homostylousness does not occur. ; $context$ = sent1: if the mainness happens the stumbling Celsius happens. sent2: that the mainness occurs and/or the homostylousness triggers that the counting Drosophyllum does not occur. sent3: the grading PKD does not occur. sent4: the tryst but not the intracerebralness occurs. sent5: the beguine occurs if both the stoking shell and the grading triolein occurs. sent6: the spiriting does not occur and the stylelessness occurs. sent7: the rating does not occur. sent8: the fact that the rallying does not occur and the stumbling newsletter happens is not right. sent9: that the lottery does not occur is prevented by that both the tryst and the non-intracerebralness occurs. sent10: that the grading incorrectness occurs and/or the legatoness prevents the rambling. sent11: that the intolerableness but not the canonistness occurs prevents the non-profoundness. sent12: the ruse does not occur. sent13: the stoking earache does not occur if the fact that not the prostitution but the rinsing happens is not correct. sent14: the fact that the cerebrovascularness and/or the grading laziness occurs is not wrong. sent15: that the counting Amur does not occur and the suppurating happens prevents the grading outsole. sent16: the preventive occurs. sent17: that the grading laziness does not occur but the suppurating occurs does not hold. sent18: the mindfulness does not occur if the bathymetricness occurs. sent19: the counting Drosophyllum occurs if the fact that the counting Drosophyllum does not occur and the intracerebralness does not occur does not hold. ; $proof$ = 
void -> assump1: Let's assume that the homostylousness happens.; assump1 -> int1: the main occurs or the homostylousness occurs or both.; int1 & sent2 -> int2: the counting Drosophyllum does not occur.; sent9 & sent4 -> int3: the fact that the lottery occurs is not wrong.; int2 & int3 -> int4: the counting Drosophyllum does not occur and the lottery occurs.; void -> assump2: Let's assume that the fact that not the counting Drosophyllum but the lottery happens is wrong.; int4 & assump2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the homostylousness does not occur.; [assump2] & int6 -> hypothesis; __PROVED__