if the spade occurs then the roundedness happens.
sent1: if the refreshing happens and the experiment occurs the skinlessness does not occur. sent2: the seminar occurs if the efficaciousness occurs. sent3: the rounding occurs if the horticulturalness does not occur. sent4: the persona happens. sent5: the favoring occurs if the sublimating does not occur and the maliciousness happens. sent6: the commercialization is brought about by that the drilling pyromancer does not occur. sent7: the deep-sea happens. sent8: the fact that if that the spade occurs and the arbitrableness happens is true the horticulturalness does not occur hold. sent9: if the resilience occurs the nonslipperiness occurs. sent10: if the rum does not occur but the craft happens then the cardiopulmonariness happens. sent11: the rum does not occur and the crafting occurs. sent12: if the deep-seaness does not occur the surfeiting happens. sent13: the insufflating strategy occurs if the soiling does not occur. sent14: the fact that the tectonicness does not occur is right. sent15: the magisterialness does not occur. sent16: the helpfulness does not occur. sent17: the cardiopulmonariness happens if the rum happens and the craft occurs. sent18: the rum does not occur. sent19: the phalangealness does not occur but the sexing happens. sent20: the drilling terreplein happens. sent21: the pratfall happens and the drilling terreplein happens. sent22: if the auspicating occurs the diffraction occurs. sent23: if that the drilling de-escalation happens is true then the compilation occurs. sent24: the polymericness occurs.
void -> assump1: Let's assume that the spading occurs.; sent10 & sent11 -> int1: the cardiopulmonariness occurs.;
$hypothesis$ = if the spade occurs then the roundedness happens. ; $context$ = sent1: if the refreshing happens and the experiment occurs the skinlessness does not occur. sent2: the seminar occurs if the efficaciousness occurs. sent3: the rounding occurs if the horticulturalness does not occur. sent4: the persona happens. sent5: the favoring occurs if the sublimating does not occur and the maliciousness happens. sent6: the commercialization is brought about by that the drilling pyromancer does not occur. sent7: the deep-sea happens. sent8: the fact that if that the spade occurs and the arbitrableness happens is true the horticulturalness does not occur hold. sent9: if the resilience occurs the nonslipperiness occurs. sent10: if the rum does not occur but the craft happens then the cardiopulmonariness happens. sent11: the rum does not occur and the crafting occurs. sent12: if the deep-seaness does not occur the surfeiting happens. sent13: the insufflating strategy occurs if the soiling does not occur. sent14: the fact that the tectonicness does not occur is right. sent15: the magisterialness does not occur. sent16: the helpfulness does not occur. sent17: the cardiopulmonariness happens if the rum happens and the craft occurs. sent18: the rum does not occur. sent19: the phalangealness does not occur but the sexing happens. sent20: the drilling terreplein happens. sent21: the pratfall happens and the drilling terreplein happens. sent22: if the auspicating occurs the diffraction occurs. sent23: if that the drilling de-escalation happens is true then the compilation occurs. sent24: the polymericness occurs. ; $proof$ = 
void -> assump1: Let's assume that the spading occurs.; sent10 & sent11 -> int1: the cardiopulmonariness occurs.; __UNKNOWN__