the tonsuring happens.
sent1: the perpetuating cat's-ear is prevented by that the split and the Mesozoicness happens. sent2: that the shafting times occurs is brought about by that the remilitarization occurs. sent3: the fact that if the Singhaleseness does not occur both the modeling and the evicting afropavo occurs is correct. sent4: the Singhaleseness does not occur. sent5: if the binding occurs then the perpetuating Venezuela happens. sent6: the insurrectionalness occurs. sent7: the unidirectionalness does not occur if the fact that both the unidirectionalness and the arseniousness occurs does not hold. sent8: either that the ram does not occur or the non-unidirectionalness or both prevents the agreeing. sent9: the tonsure does not occur if the shafting times and the modeling occurs. sent10: that the agreeing does not occur results in that not the Singhaleseness but the evicting afropavo happens. sent11: the remilitarization happens and the biblessness occurs. sent12: the biblessness occurs. sent13: if the biblessness does not occur the tonsure and the remilitarization happens. sent14: that the autologousness happens and the transactinide occurs causes the non-intercellularness. sent15: if the fact that the modeling does not occur hold both the shafting times and the biblessness happens. sent16: the perpetuating Plantation occurs. sent17: that the Singhaleseness does not occur causes that the evicting afropavo happens. sent18: the evicting afropavo occurs. sent19: if the agreeing does not occur the evicting afropavo does not occur and the Singhaleseness happens. sent20: the modeling is prevented by that the evicting afropavo does not occur but the Singhaleseness occurs. sent21: the shafting flexure happens. sent22: the shafting gasket does not occur. sent23: the perpetuating Gresham occurs.
sent11 -> int1: the remilitarization occurs.; int1 & sent2 -> int2: the shafting times occurs.; sent3 & sent4 -> int3: both the model and the evicting afropavo happens.; int3 -> int4: the model happens.; int2 & int4 -> int5: the shafting times happens and the modeling happens.; int5 & sent9 -> hypothesis;
the tonsure happens.
$hypothesis$ = the tonsuring happens. ; $context$ = sent1: the perpetuating cat's-ear is prevented by that the split and the Mesozoicness happens. sent2: that the shafting times occurs is brought about by that the remilitarization occurs. sent3: the fact that if the Singhaleseness does not occur both the modeling and the evicting afropavo occurs is correct. sent4: the Singhaleseness does not occur. sent5: if the binding occurs then the perpetuating Venezuela happens. sent6: the insurrectionalness occurs. sent7: the unidirectionalness does not occur if the fact that both the unidirectionalness and the arseniousness occurs does not hold. sent8: either that the ram does not occur or the non-unidirectionalness or both prevents the agreeing. sent9: the tonsure does not occur if the shafting times and the modeling occurs. sent10: that the agreeing does not occur results in that not the Singhaleseness but the evicting afropavo happens. sent11: the remilitarization happens and the biblessness occurs. sent12: the biblessness occurs. sent13: if the biblessness does not occur the tonsure and the remilitarization happens. sent14: that the autologousness happens and the transactinide occurs causes the non-intercellularness. sent15: if the fact that the modeling does not occur hold both the shafting times and the biblessness happens. sent16: the perpetuating Plantation occurs. sent17: that the Singhaleseness does not occur causes that the evicting afropavo happens. sent18: the evicting afropavo occurs. sent19: if the agreeing does not occur the evicting afropavo does not occur and the Singhaleseness happens. sent20: the modeling is prevented by that the evicting afropavo does not occur but the Singhaleseness occurs. sent21: the shafting flexure happens. sent22: the shafting gasket does not occur. sent23: the perpetuating Gresham occurs. ; $proof$ = 
sent11 -> int1: the remilitarization occurs.; int1 & sent2 -> int2: the shafting times occurs.; sent3 & sent4 -> int3: both the model and the evicting afropavo happens.; int3 -> int4: the model happens.; int2 & int4 -> int5: the shafting times happens and the modeling happens.; int5 & sent9 -> hypothesis; __DISPROVED__