the strings and the apophysealness happens.
sent1: that the processing Mercury occurs and the studentship does not occur does not hold. sent2: the portable occurs. sent3: the starchiness occurs and the metatarsal occurs. sent4: if the guaranteeing egotism does not occur the fact that the arrogating velleity happens and the axileness happens is not true. sent5: the freeze happens. sent6: the fact that the intensiveness does not occur if the processing androecium and/or the guaranteeing egotism happens hold. sent7: both the audiometricness and the studentship occurs. sent8: the error happens and/or the opener happens. sent9: the variegation occurs and the processing waveform occurs. sent10: the guaranteeing egotism occurs if that both the arrogating velleity and the non-axileness occurs is not true. sent11: if the beguilement does not occur then the apophysealness happens and the freeze occurs. sent12: if the intensiveness does not occur the strings but not the decreasing happens. sent13: the fact that the fact that the stringing and the apophysealness occurs is false is not incorrect if the arrogating velleity does not occur. sent14: the ordering does not occur. sent15: the intensiveness does not occur if the processing androecium occurs. sent16: the Adonic does not occur. sent17: the arrogating nonce but not the dishonesty happens. sent18: the beguilement does not occur but the portable happens. sent19: the guaranteeing coyol or the depluming or both prevents that the portable happens. sent20: that the arrogating tablecloth occurs is not incorrect. sent21: the fact that the axileness occurs is correct. sent22: that the freezing occurs is triggered by that the beguilement does not occur. sent23: that the portable does not occur brings about that the freezing does not occur and the beguilement does not occur. sent24: if the freezing does not occur the intensiveness and the decrease occurs.
void -> assump1: Let's assume that that the arrogating velleity and the non-axileness occurs is right.; assump1 -> int1: the axileness does not occur.; int1 & sent21 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the arrogating velleity occurs and the axileness does not occur does not hold.; int3 & sent10 -> int4: the guaranteeing egotism happens.; int4 -> int5: either the processing androecium happens or the guaranteeing egotism occurs or both.; int5 & sent6 -> int6: the intensiveness does not occur.; int6 & sent12 -> int7: the stringing happens and the decreasing does not occur.; int7 -> int8: the stringing occurs.; sent18 -> int9: the beguilement does not occur.; sent11 & int9 -> int10: the apophysealness occurs and the freeze occurs.; int10 -> int11: the apophysealness happens.; int8 & int11 -> hypothesis;
the fact that the strings and the apophysealness occurs is incorrect.
$hypothesis$ = the strings and the apophysealness happens. ; $context$ = sent1: that the processing Mercury occurs and the studentship does not occur does not hold. sent2: the portable occurs. sent3: the starchiness occurs and the metatarsal occurs. sent4: if the guaranteeing egotism does not occur the fact that the arrogating velleity happens and the axileness happens is not true. sent5: the freeze happens. sent6: the fact that the intensiveness does not occur if the processing androecium and/or the guaranteeing egotism happens hold. sent7: both the audiometricness and the studentship occurs. sent8: the error happens and/or the opener happens. sent9: the variegation occurs and the processing waveform occurs. sent10: the guaranteeing egotism occurs if that both the arrogating velleity and the non-axileness occurs is not true. sent11: if the beguilement does not occur then the apophysealness happens and the freeze occurs. sent12: if the intensiveness does not occur the strings but not the decreasing happens. sent13: the fact that the fact that the stringing and the apophysealness occurs is false is not incorrect if the arrogating velleity does not occur. sent14: the ordering does not occur. sent15: the intensiveness does not occur if the processing androecium occurs. sent16: the Adonic does not occur. sent17: the arrogating nonce but not the dishonesty happens. sent18: the beguilement does not occur but the portable happens. sent19: the guaranteeing coyol or the depluming or both prevents that the portable happens. sent20: that the arrogating tablecloth occurs is not incorrect. sent21: the fact that the axileness occurs is correct. sent22: that the freezing occurs is triggered by that the beguilement does not occur. sent23: that the portable does not occur brings about that the freezing does not occur and the beguilement does not occur. sent24: if the freezing does not occur the intensiveness and the decrease occurs. ; $proof$ = 
void -> assump1: Let's assume that that the arrogating velleity and the non-axileness occurs is right.; assump1 -> int1: the axileness does not occur.; int1 & sent21 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the arrogating velleity occurs and the axileness does not occur does not hold.; int3 & sent10 -> int4: the guaranteeing egotism happens.; int4 -> int5: either the processing androecium happens or the guaranteeing egotism occurs or both.; int5 & sent6 -> int6: the intensiveness does not occur.; int6 & sent12 -> int7: the stringing happens and the decreasing does not occur.; int7 -> int8: the stringing occurs.; sent18 -> int9: the beguilement does not occur.; sent11 & int9 -> int10: the apophysealness occurs and the freeze occurs.; int10 -> int11: the apophysealness happens.; int8 & int11 -> hypothesis; __PROVED__