both the aborticide and the unappealableness happens.
sent1: the subtilizing cookfire and/or the non-cataplasticness occurs. sent2: the compress does not occur. sent3: the fact that the inputting occurs and the taming happens hold. sent4: the teaching happens. sent5: if the cataplasticness does not occur then the pallone happens. sent6: both the paralytic and the asymmetricalness occurs. sent7: the untheatricalness happens. sent8: if the backlash occurs then the aborticide occurs. sent9: the standing does not occur. sent10: the axileness occurs. sent11: both the sericulture and the subtilizing voicing happens. sent12: the fact that both the aborticide and the unappealableness occurs does not hold if the subtilizing cookfire does not occur. sent13: the unappealableness happens and the untheatricalness occurs if the compress does not occur. sent14: if the christianness does not occur then that the tasting happens hold. sent15: that the subtilizing bang does not occur is caused by that the pallone and the sericulture happens. sent16: the pallone happens if the subtilizing cookfire occurs. sent17: the equivocation and the inscription happens. sent18: the receiving happens if the subtilizing bloodwort does not occur. sent19: the subtilizing voicing occurs. sent20: that the compress does not occur triggers the untheatricalness. sent21: both the intolerantness and the reinforcement occurs.
sent1 & sent16 & sent5 -> int1: the fact that the pallone happens hold.; sent11 -> int2: the sericulture happens.; int1 & int2 -> int3: the pallone and the sericulture happens.; int3 & sent15 -> int4: the subtilizing bang does not occur.; sent13 & sent2 -> int5: the unappealableness and the untheatricalness happens.; int5 -> int6: the unappealableness happens.;
that the aborticide and the unappealableness happens is not true.
$hypothesis$ = both the aborticide and the unappealableness happens. ; $context$ = sent1: the subtilizing cookfire and/or the non-cataplasticness occurs. sent2: the compress does not occur. sent3: the fact that the inputting occurs and the taming happens hold. sent4: the teaching happens. sent5: if the cataplasticness does not occur then the pallone happens. sent6: both the paralytic and the asymmetricalness occurs. sent7: the untheatricalness happens. sent8: if the backlash occurs then the aborticide occurs. sent9: the standing does not occur. sent10: the axileness occurs. sent11: both the sericulture and the subtilizing voicing happens. sent12: the fact that both the aborticide and the unappealableness occurs does not hold if the subtilizing cookfire does not occur. sent13: the unappealableness happens and the untheatricalness occurs if the compress does not occur. sent14: if the christianness does not occur then that the tasting happens hold. sent15: that the subtilizing bang does not occur is caused by that the pallone and the sericulture happens. sent16: the pallone happens if the subtilizing cookfire occurs. sent17: the equivocation and the inscription happens. sent18: the receiving happens if the subtilizing bloodwort does not occur. sent19: the subtilizing voicing occurs. sent20: that the compress does not occur triggers the untheatricalness. sent21: both the intolerantness and the reinforcement occurs. ; $proof$ = 
sent1 & sent16 & sent5 -> int1: the fact that the pallone happens hold.; sent11 -> int2: the sericulture happens.; int1 & int2 -> int3: the pallone and the sericulture happens.; int3 & sent15 -> int4: the subtilizing bang does not occur.; sent13 & sent2 -> int5: the unappealableness and the untheatricalness happens.; int5 -> int6: the unappealableness happens.; __UNKNOWN__