the cut-in but not the permissibleness happens if the Balticness happens.
sent1: the synthesizing unwillingness occurs but the broadbandness does not occur. sent2: the ecclesiasticalness occurs. sent3: the croaking and the non-fruitfulness happens. sent4: that the saltation happens causes that the oversimplification but not the tug occurs. sent5: that the cut-in and the synthesizing bine happens is triggered by that the styling gilbert does not occur. sent6: the styling Midland occurs if the fact that the mercuricness but not the attractiveness happens is not true. sent7: the styling Midland happens if the attractiveness occurs. sent8: the styling cravat but not the numericalness occurs. sent9: the fact that the mercuricness but not the attractiveness occurs is false. sent10: that the basketry happens is prevented by that the styling litany occurs and the bombing occurs. sent11: the pornography does not occur. sent12: the gravity-assist does not occur. sent13: the synthesizing bine happens. sent14: the Education happens. sent15: the styling boneset occurs but the styling gilbert does not occur. sent16: the inconsiderableness happens. sent17: the styling Midland does not occur if the permissibleness and the Balticness happens. sent18: the fibrillation does not occur. sent19: that both the mercuricness and the attractiveness happens is not right. sent20: the synthesizing bine happens if the styling gilbert does not occur. sent21: the styling boneset occurs. sent22: that the Liechtensteiner happens if that the gravity-assist happens and the sedimentariness does not occur is incorrect hold.
void -> assump2: Let's assume that the permissibleness happens.; void -> assump1: Let's assume that the Balticness occurs.; assump2 & assump1 -> int1: the fact that the permissibleness and the Balticness occurs is not false.; int1 & sent17 -> int2: the fact that the styling Midland does not occur is correct.; sent6 & sent9 -> int3: the styling Midland happens.; int2 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the permissibleness does not occur.; sent15 -> int6: the styling gilbert does not occur.; sent5 & int6 -> int7: the cut-in and the synthesizing bine happens.; int7 -> int8: the cut-in occurs.; int5 & int8 -> int9: the cut-in occurs but the permissibleness does not occur.; [assump1] & int9 -> hypothesis;
$hypothesis$ = the cut-in but not the permissibleness happens if the Balticness happens. ; $context$ = sent1: the synthesizing unwillingness occurs but the broadbandness does not occur. sent2: the ecclesiasticalness occurs. sent3: the croaking and the non-fruitfulness happens. sent4: that the saltation happens causes that the oversimplification but not the tug occurs. sent5: that the cut-in and the synthesizing bine happens is triggered by that the styling gilbert does not occur. sent6: the styling Midland occurs if the fact that the mercuricness but not the attractiveness happens is not true. sent7: the styling Midland happens if the attractiveness occurs. sent8: the styling cravat but not the numericalness occurs. sent9: the fact that the mercuricness but not the attractiveness occurs is false. sent10: that the basketry happens is prevented by that the styling litany occurs and the bombing occurs. sent11: the pornography does not occur. sent12: the gravity-assist does not occur. sent13: the synthesizing bine happens. sent14: the Education happens. sent15: the styling boneset occurs but the styling gilbert does not occur. sent16: the inconsiderableness happens. sent17: the styling Midland does not occur if the permissibleness and the Balticness happens. sent18: the fibrillation does not occur. sent19: that both the mercuricness and the attractiveness happens is not right. sent20: the synthesizing bine happens if the styling gilbert does not occur. sent21: the styling boneset occurs. sent22: that the Liechtensteiner happens if that the gravity-assist happens and the sedimentariness does not occur is incorrect hold. ; $proof$ = 
void -> assump2: Let's assume that the permissibleness happens.; void -> assump1: Let's assume that the Balticness occurs.; assump2 & assump1 -> int1: the fact that the permissibleness and the Balticness occurs is not false.; int1 & sent17 -> int2: the fact that the styling Midland does not occur is correct.; sent6 & sent9 -> int3: the styling Midland happens.; int2 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the permissibleness does not occur.; sent15 -> int6: the styling gilbert does not occur.; sent5 & int6 -> int7: the cut-in and the synthesizing bine happens.; int7 -> int8: the cut-in occurs.; int5 & int8 -> int9: the cut-in occurs but the permissibleness does not occur.; [assump1] & int9 -> hypothesis; __PROVED__