the blacklisting importing happens.
sent1: if that the urinariness does not occur is not false the fact that the non-lutealness and the delicateness occurs does not hold. sent2: if the autosomalness does not occur the fact that the subclavianness but not the bridging occurs does not hold. sent3: if the urinariness does not occur then that the blacklisting importing and the filicide occurs is false. sent4: both the impinging asterisk and the ultrasound occurs if the fact that the enrichment does not occur is not false. sent5: the autosomalness does not occur if that the regionalness happens and the measurableness occurs is incorrect. sent6: the impinging yucca occurs if the fact that the fact that not the veterinariness but the blacklisting tubule happens is false is true. sent7: that the urinariness and the filicide happens triggers that the impinging yucca does not occur. sent8: if the impinging asterisk happens the eutrophicness does not occur but the distempering happens. sent9: the impinging aba does not occur if that the subclavianness but not the bridging happens does not hold. sent10: if the blacklisting importing does not occur or the blacklisting tubule happens or both the blacklisting importing does not occur. sent11: if the callithump occurs and the staving end-plate does not occur then the nonslipperiness happens. sent12: if the nonslipperiness happens then that that the hemodynamicness and the priestlyness happens is right is incorrect. sent13: the urinariness occurs. sent14: that the regionalness happens and the measurableness occurs is wrong if the fact that the eutrophicness does not occur hold. sent15: the academicness occurs. sent16: the blacklisting tubule happens and the academicness occurs if the impinging aba does not occur. sent17: the callithump happens and the staving end-plate does not occur if the rope-a-dope does not occur. sent18: if the fact that the hemodynamicness but not the unpriestliness happens is wrong the enrichment does not occur. sent19: the fact that that the non-veterinaryness and the impinging yucca occurs is incorrect is correct if the blacklisting tubule happens. sent20: if the veterinariness occurs then the impinging yucca happens. sent21: that the filicide does not occur prevents that the blacklisting importing does not occur. sent22: if that the academicness happens is not incorrect then that both the non-veterinaryness and the blacklisting tubule happens is incorrect. sent23: that the non-academicness and the non-veterinaryness occurs is wrong if the impinging aba does not occur. sent24: if the academicness happens then that the veterinariness happens and the blacklisting tubule occurs is not true. sent25: that the veterinariness and the blacklisting tubule happens is not correct. sent26: that that the veterinariness happens brings about that the blacklisting importing does not occur and/or the blacklisting tubule is true.
void -> assump1: Let's assume that the filicide occurs.; sent13 & assump1 -> int1: the urinariness and the filicide occurs.; int1 & sent7 -> int2: the impinging yucca does not occur.; sent22 & sent15 -> int3: the fact that not the veterinariness but the blacklisting tubule occurs is not correct.; sent6 & int3 -> int4: the impinging yucca occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the filicide does not occur.; int6 & sent21 -> hypothesis;
the blacklisting importing does not occur.
$hypothesis$ = the blacklisting importing happens. ; $context$ = sent1: if that the urinariness does not occur is not false the fact that the non-lutealness and the delicateness occurs does not hold. sent2: if the autosomalness does not occur the fact that the subclavianness but not the bridging occurs does not hold. sent3: if the urinariness does not occur then that the blacklisting importing and the filicide occurs is false. sent4: both the impinging asterisk and the ultrasound occurs if the fact that the enrichment does not occur is not false. sent5: the autosomalness does not occur if that the regionalness happens and the measurableness occurs is incorrect. sent6: the impinging yucca occurs if the fact that the fact that not the veterinariness but the blacklisting tubule happens is false is true. sent7: that the urinariness and the filicide happens triggers that the impinging yucca does not occur. sent8: if the impinging asterisk happens the eutrophicness does not occur but the distempering happens. sent9: the impinging aba does not occur if that the subclavianness but not the bridging happens does not hold. sent10: if the blacklisting importing does not occur or the blacklisting tubule happens or both the blacklisting importing does not occur. sent11: if the callithump occurs and the staving end-plate does not occur then the nonslipperiness happens. sent12: if the nonslipperiness happens then that that the hemodynamicness and the priestlyness happens is right is incorrect. sent13: the urinariness occurs. sent14: that the regionalness happens and the measurableness occurs is wrong if the fact that the eutrophicness does not occur hold. sent15: the academicness occurs. sent16: the blacklisting tubule happens and the academicness occurs if the impinging aba does not occur. sent17: the callithump happens and the staving end-plate does not occur if the rope-a-dope does not occur. sent18: if the fact that the hemodynamicness but not the unpriestliness happens is wrong the enrichment does not occur. sent19: the fact that that the non-veterinaryness and the impinging yucca occurs is incorrect is correct if the blacklisting tubule happens. sent20: if the veterinariness occurs then the impinging yucca happens. sent21: that the filicide does not occur prevents that the blacklisting importing does not occur. sent22: if that the academicness happens is not incorrect then that both the non-veterinaryness and the blacklisting tubule happens is incorrect. sent23: that the non-academicness and the non-veterinaryness occurs is wrong if the impinging aba does not occur. sent24: if the academicness happens then that the veterinariness happens and the blacklisting tubule occurs is not true. sent25: that the veterinariness and the blacklisting tubule happens is not correct. sent26: that that the veterinariness happens brings about that the blacklisting importing does not occur and/or the blacklisting tubule is true. ; $proof$ = 
void -> assump1: Let's assume that the filicide occurs.; sent13 & assump1 -> int1: the urinariness and the filicide occurs.; int1 & sent7 -> int2: the impinging yucca does not occur.; sent22 & sent15 -> int3: the fact that not the veterinariness but the blacklisting tubule occurs is not correct.; sent6 & int3 -> int4: the impinging yucca occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the filicide does not occur.; int6 & sent21 -> hypothesis; __PROVED__