that the penitentness and the axiologicalness happens is not right.
sent1: if the regicide occurs then that the capturing misconstruction and the non-allographicness happens is not true. sent2: that not the smelling but the penitent occurs does not hold if the thrombectomy happens. sent3: the Taoistness does not occur if the springboard does not occur. sent4: the springboard does not occur and/or the busying does not occur if the bruise happens. sent5: if the evanescing does not occur then the cardiopulmonariness does not occur and the Opposition does not occur. sent6: the tegularness does not occur and/or the meteor does not occur if the smile occurs. sent7: the smiling occurs if the productiveness does not occur. sent8: the evanescing does not occur and the presuming does not occur. sent9: the fact that the axiologicalness happens is not false. sent10: that the regicide occurs and the capturing Decalogue happens is caused by that the Taoist does not occur. sent11: if the fact that the capturing misconstruction and the non-allographicness happens is not correct the thrombectomy happens. sent12: the bubonicness does not occur if the tegularness does not occur. sent13: that both the axiologicalness and the oligarchicness happens is caused by the non-bubonicness. sent14: the bruise and the spud occurs. sent15: the smelt does not occur and the penitent happens. sent16: the retardation does not occur if the fact that not the smelt but the penitentness occurs does not hold. sent17: the smelling does not occur. sent18: if that the cardiopulmonariness does not occur is correct then the fare-stage does not occur and the productiveness does not occur.
sent15 -> int1: the penitent happens.; int1 & sent9 -> hypothesis;
not the retardation but the oligarchicness happens.
sent14 -> int2: the fact that the bruise occurs is not incorrect.; sent4 & int2 -> int3: the springboard does not occur or the busying does not occur or both.; sent8 -> int4: the fact that the evanescing does not occur is right.; sent5 & int4 -> int5: the cardiopulmonariness does not occur and the Opposition does not occur.; int5 -> int6: that the cardiopulmonariness does not occur is true.; sent18 & int6 -> int7: the fare-stage does not occur and the productiveness does not occur.; int7 -> int8: the productiveness does not occur.; sent7 & int8 -> int9: the smile happens.; sent6 & int9 -> int10: the tegularness does not occur and/or the meteor does not occur.;
$hypothesis$ = that the penitentness and the axiologicalness happens is not right. ; $context$ = sent1: if the regicide occurs then that the capturing misconstruction and the non-allographicness happens is not true. sent2: that not the smelling but the penitent occurs does not hold if the thrombectomy happens. sent3: the Taoistness does not occur if the springboard does not occur. sent4: the springboard does not occur and/or the busying does not occur if the bruise happens. sent5: if the evanescing does not occur then the cardiopulmonariness does not occur and the Opposition does not occur. sent6: the tegularness does not occur and/or the meteor does not occur if the smile occurs. sent7: the smiling occurs if the productiveness does not occur. sent8: the evanescing does not occur and the presuming does not occur. sent9: the fact that the axiologicalness happens is not false. sent10: that the regicide occurs and the capturing Decalogue happens is caused by that the Taoist does not occur. sent11: if the fact that the capturing misconstruction and the non-allographicness happens is not correct the thrombectomy happens. sent12: the bubonicness does not occur if the tegularness does not occur. sent13: that both the axiologicalness and the oligarchicness happens is caused by the non-bubonicness. sent14: the bruise and the spud occurs. sent15: the smelt does not occur and the penitent happens. sent16: the retardation does not occur if the fact that not the smelt but the penitentness occurs does not hold. sent17: the smelling does not occur. sent18: if that the cardiopulmonariness does not occur is correct then the fare-stage does not occur and the productiveness does not occur. ; $proof$ = 
sent15 -> int1: the penitent happens.; int1 & sent9 -> hypothesis; __DISPROVED__