the borealness happens and the do-si-do does not occur.
sent1: if the stabling bronchodilator does not occur the limping happens and the invertibleness happens. sent2: if both the interchange and the backdoor happens the dent does not occur. sent3: the do-si-do does not occur. sent4: the reeking occurs. sent5: if the stabling Etruscan occurs and the enthroning does not occur then the fashioning does not occur. sent6: that the stabling thaneship does not occur is prevented by that the anti-semiticness occurs. sent7: the stabling Etruscan and the stabling techno occurs. sent8: the stabling bronchodilator does not occur. sent9: the anti-semiticness does not occur if the proprietariness does not occur. sent10: if the proprietariness happens and the commonness happens then the enthroning does not occur. sent11: the borealness but not the do-si-do happens if the fashion does not occur. sent12: if the fashioning does not occur the fact that the do-si-do does not occur is true. sent13: the stabling techno occurs. sent14: if the limping happens the commonness happens. sent15: the anti-semiticness happens if the fact that the reeking happens hold. sent16: that the invertibleness happens is triggered by that the stabling bronchodilator does not occur. sent17: that the commonness does not occur results in the anti-semiticness and/or the proprietariness. sent18: the stabling thaneship happens if the proprietariness happens. sent19: the feminine does not occur. sent20: the invertibleness happens.
void -> assump1: Let's assume that the proprietariness does not occur.; sent9 & assump1 -> int1: the anti-semiticness does not occur.; sent15 & sent4 -> int2: the anti-semiticness happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the proprietariness happens.; sent1 & sent8 -> int5: both the limping and the invertibleness occurs.; int5 -> int6: the limping occurs.; sent14 & int6 -> int7: the commonness happens.; int4 & int7 -> int8: that both the proprietariness and the commonness occurs hold.; int8 & sent10 -> int9: the enthroning does not occur.; sent7 -> int10: the stabling Etruscan occurs.; int9 & int10 -> int11: the stabling Etruscan but not the enthroning happens.; int11 & sent5 -> int12: the fashion does not occur.; int12 & sent11 -> hypothesis;
the stabling thaneship happens.
$hypothesis$ = the borealness happens and the do-si-do does not occur. ; $context$ = sent1: if the stabling bronchodilator does not occur the limping happens and the invertibleness happens. sent2: if both the interchange and the backdoor happens the dent does not occur. sent3: the do-si-do does not occur. sent4: the reeking occurs. sent5: if the stabling Etruscan occurs and the enthroning does not occur then the fashioning does not occur. sent6: that the stabling thaneship does not occur is prevented by that the anti-semiticness occurs. sent7: the stabling Etruscan and the stabling techno occurs. sent8: the stabling bronchodilator does not occur. sent9: the anti-semiticness does not occur if the proprietariness does not occur. sent10: if the proprietariness happens and the commonness happens then the enthroning does not occur. sent11: the borealness but not the do-si-do happens if the fashion does not occur. sent12: if the fashioning does not occur the fact that the do-si-do does not occur is true. sent13: the stabling techno occurs. sent14: if the limping happens the commonness happens. sent15: the anti-semiticness happens if the fact that the reeking happens hold. sent16: that the invertibleness happens is triggered by that the stabling bronchodilator does not occur. sent17: that the commonness does not occur results in the anti-semiticness and/or the proprietariness. sent18: the stabling thaneship happens if the proprietariness happens. sent19: the feminine does not occur. sent20: the invertibleness happens. ; $proof$ = 
void -> assump1: Let's assume that the proprietariness does not occur.; sent9 & assump1 -> int1: the anti-semiticness does not occur.; sent15 & sent4 -> int2: the anti-semiticness happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the proprietariness happens.; sent1 & sent8 -> int5: both the limping and the invertibleness occurs.; int5 -> int6: the limping occurs.; sent14 & int6 -> int7: the commonness happens.; int4 & int7 -> int8: that both the proprietariness and the commonness occurs hold.; int8 & sent10 -> int9: the enthroning does not occur.; sent7 -> int10: the stabling Etruscan occurs.; int9 & int10 -> int11: the stabling Etruscan but not the enthroning happens.; int11 & sent5 -> int12: the fashion does not occur.; int12 & sent11 -> hypothesis; __PROVED__