the enfranchisement happens.
sent1: the belonging happens. sent2: the recurrence happens if the underageness occurs. sent3: the fact that the small-capitalizationness does not occur and the clouding certificated does not occur does not hold. sent4: if the hurling does not occur then that the clouding Sudan happens and the education occurs does not hold. sent5: that the recurrence happens prevents the non-iambicness. sent6: if that the clouding Sudan happens and the education happens is not right the blackness does not occur. sent7: if the pavage occurs then the underageness occurs. sent8: the iambicness but not the motivation occurs if the small-capitalizationness does not occur. sent9: if the iambicness and the enfranchisement happens then the motivation does not occur. sent10: the fact that the non-acaudateness and the pounce happens is not true. sent11: that the motivation does not occur is wrong if the fact that the small-capitalizationness does not occur and the clouding certificated does not occur is wrong. sent12: if that the clouding certificated does not occur and the stupefaction does not occur does not hold the small-capitalizationness does not occur. sent13: the pavage happens. sent14: the fact that the clouding certificated does not occur and the stupefaction does not occur is not true if the hooking compressor happens. sent15: both the inflating formidability and the ultrasound happens. sent16: the non-blackness causes that both the hooking compressor and the sampling zirconia occurs.
sent7 & sent13 -> int1: the underageness occurs.; int1 & sent2 -> int2: the recurrence happens.; int2 & sent5 -> int3: the iambic occurs.; void -> assump1: Let's assume that the enfranchisement occurs.; int3 & assump1 -> int4: the iambicness and the enfranchisement occurs.; int4 & sent9 -> int5: the motivation does not occur.; sent11 & sent3 -> int6: the motivation occurs.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the enfranchisement occurs.
$hypothesis$ = the enfranchisement happens. ; $context$ = sent1: the belonging happens. sent2: the recurrence happens if the underageness occurs. sent3: the fact that the small-capitalizationness does not occur and the clouding certificated does not occur does not hold. sent4: if the hurling does not occur then that the clouding Sudan happens and the education occurs does not hold. sent5: that the recurrence happens prevents the non-iambicness. sent6: if that the clouding Sudan happens and the education happens is not right the blackness does not occur. sent7: if the pavage occurs then the underageness occurs. sent8: the iambicness but not the motivation occurs if the small-capitalizationness does not occur. sent9: if the iambicness and the enfranchisement happens then the motivation does not occur. sent10: the fact that the non-acaudateness and the pounce happens is not true. sent11: that the motivation does not occur is wrong if the fact that the small-capitalizationness does not occur and the clouding certificated does not occur is wrong. sent12: if that the clouding certificated does not occur and the stupefaction does not occur does not hold the small-capitalizationness does not occur. sent13: the pavage happens. sent14: the fact that the clouding certificated does not occur and the stupefaction does not occur is not true if the hooking compressor happens. sent15: both the inflating formidability and the ultrasound happens. sent16: the non-blackness causes that both the hooking compressor and the sampling zirconia occurs. ; $proof$ = 
sent7 & sent13 -> int1: the underageness occurs.; int1 & sent2 -> int2: the recurrence happens.; int2 & sent5 -> int3: the iambic occurs.; void -> assump1: Let's assume that the enfranchisement occurs.; int3 & assump1 -> int4: the iambicness and the enfranchisement occurs.; int4 & sent9 -> int5: the motivation does not occur.; sent11 & sent3 -> int6: the motivation occurs.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __DISPROVED__