the president but not the personification occurs.
sent1: the chancing incursion happens if the unfruitfulness does not occur. sent2: that the certification happens is prevented by that both the vowing and the pavane happens. sent3: that the cornering does not occur and/or the chancing does not occur is brought about by that the iconicness happens. sent4: the unfruitfulness does not occur. sent5: if the domiciliariness occurs the president occurs. sent6: the unsensationalness occurs if the corner does not occur. sent7: the hurling happens. sent8: the non-sphericalness is triggered by the non-domiciliariness. sent9: if the sphericalness does not occur that the president happens and the personification happens is not correct. sent10: if the pavane does not occur then the Gula occurs and the bathe happens. sent11: if the cornering does not occur either the caprineness happens or the domiciliariness happens or both. sent12: that the chance does not occur leads to that the unsensationalness occurs. sent13: that the paging roundness does not occur is not false. sent14: the assailing clubfooted does not occur and the incriminating exotoxin happens. sent15: the vow occurs. sent16: the pavane happens. sent17: that the president and the personification occurs does not hold. sent18: the Gula and the feminineness occurs. sent19: the fact that both the chance and the unfruitfulness happens is incorrect if the certification does not occur. sent20: if the sphericalness does not occur that the president occurs and the personification does not occur is incorrect. sent21: the Sotho does not occur. sent22: if the domiciliariness occurs then the trichroism does not occur but the paging Aesculapius occurs. sent23: that the dislocation does not occur is triggered by that the vowing happens and the phenomenon happens. sent24: the disagreement does not occur and/or the masquerading does not occur. sent25: the trichroism does not occur. sent26: that the chancing incursion and the caprineness occurs is triggered by the fruitfulness. sent27: the hurling and the iconicness occurs. sent28: the chancing incursion occurs. sent29: if both the paging Aesculapius and the caprineness happens then the unsensationalness does not occur. sent30: that the domiciliariness happens results in that the trichroism does not occur.
void -> assump1: Let's assume that the fact that the domiciliariness happens is correct.; sent22 & assump1 -> int1: the trichroism does not occur but the paging Aesculapius occurs.; int1 -> int2: the paging Aesculapius occurs.; sent26 & sent4 -> int3: the chancing incursion and the caprineness happens.; int3 -> int4: the caprineness occurs.; int2 & int4 -> int5: the paging Aesculapius and the caprineness happens.; int5 & sent29 -> int6: the unsensationalness does not occur.; sent27 -> int7: the iconicness occurs.; sent3 & int7 -> int8: the corner does not occur and/or the chancing does not occur.; int8 & sent6 & sent12 -> int9: the unsensationalness happens.; int6 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the domiciliariness does not occur.; int11 & sent8 -> int12: the sphericalness does not occur.; int12 & sent20 -> hypothesis;
the president but not the personification happens.
sent15 & sent16 -> int13: the vowing happens and the pavane happens.; sent2 & int13 -> int14: the certification does not occur.; sent19 & int14 -> int15: the fact that the chancing and the unfruitfulness occurs is false.;
$hypothesis$ = the president but not the personification occurs. ; $context$ = sent1: the chancing incursion happens if the unfruitfulness does not occur. sent2: that the certification happens is prevented by that both the vowing and the pavane happens. sent3: that the cornering does not occur and/or the chancing does not occur is brought about by that the iconicness happens. sent4: the unfruitfulness does not occur. sent5: if the domiciliariness occurs the president occurs. sent6: the unsensationalness occurs if the corner does not occur. sent7: the hurling happens. sent8: the non-sphericalness is triggered by the non-domiciliariness. sent9: if the sphericalness does not occur that the president happens and the personification happens is not correct. sent10: if the pavane does not occur then the Gula occurs and the bathe happens. sent11: if the cornering does not occur either the caprineness happens or the domiciliariness happens or both. sent12: that the chance does not occur leads to that the unsensationalness occurs. sent13: that the paging roundness does not occur is not false. sent14: the assailing clubfooted does not occur and the incriminating exotoxin happens. sent15: the vow occurs. sent16: the pavane happens. sent17: that the president and the personification occurs does not hold. sent18: the Gula and the feminineness occurs. sent19: the fact that both the chance and the unfruitfulness happens is incorrect if the certification does not occur. sent20: if the sphericalness does not occur that the president occurs and the personification does not occur is incorrect. sent21: the Sotho does not occur. sent22: if the domiciliariness occurs then the trichroism does not occur but the paging Aesculapius occurs. sent23: that the dislocation does not occur is triggered by that the vowing happens and the phenomenon happens. sent24: the disagreement does not occur and/or the masquerading does not occur. sent25: the trichroism does not occur. sent26: that the chancing incursion and the caprineness occurs is triggered by the fruitfulness. sent27: the hurling and the iconicness occurs. sent28: the chancing incursion occurs. sent29: if both the paging Aesculapius and the caprineness happens then the unsensationalness does not occur. sent30: that the domiciliariness happens results in that the trichroism does not occur. ; $proof$ = 
void -> assump1: Let's assume that the fact that the domiciliariness happens is correct.; sent22 & assump1 -> int1: the trichroism does not occur but the paging Aesculapius occurs.; int1 -> int2: the paging Aesculapius occurs.; sent26 & sent4 -> int3: the chancing incursion and the caprineness happens.; int3 -> int4: the caprineness occurs.; int2 & int4 -> int5: the paging Aesculapius and the caprineness happens.; int5 & sent29 -> int6: the unsensationalness does not occur.; sent27 -> int7: the iconicness occurs.; sent3 & int7 -> int8: the corner does not occur and/or the chancing does not occur.; int8 & sent6 & sent12 -> int9: the unsensationalness happens.; int6 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the domiciliariness does not occur.; int11 & sent8 -> int12: the sphericalness does not occur.; int12 & sent20 -> hypothesis; __DISPROVED__