the dogmatizing does not occur if the greeting kinship happens.
sent1: the indehiscentness happens if the demotion does not occur and the aggressiveness does not occur. sent2: that the dumping take-up happens and the indehiscentness happens is brought about by that the greeting kinship does not occur. sent3: not the greeting kinship but the dogmatizing occurs if the Taoistness does not occur. sent4: that the senatorialness does not occur results in that not the snowshoeing but the eosinophilicness happens. sent5: the presentment happens if the impregnating does not occur. sent6: if the rusting and the non-sidearmness happens then the senatorialness does not occur. sent7: the fact that the swimming occurs is correct if the fact that the swimming does not occur and the pyroelectricness does not occur is false. sent8: if the dumping volatile does not occur and the reversionariness occurs then the Taoistness does not occur. sent9: that the greeting prate occurs is brought about by that the demotion occurs and the aggressiveness does not occur. sent10: the demotion does not occur and the swimming does not occur. sent11: that the captainship occurs yields that the dumping volatile does not occur and the reversionariness happens. sent12: the angriness and the captainship occurs if the dumping galoot does not occur. sent13: if the swimming happens then both the demotion and the non-aggressiveness happens. sent14: the Irishness does not occur. sent15: the finding does not occur and the maniness does not occur. sent16: the fact that the swimming does not occur and the pyroelectricness does not occur is not correct if the snowshoeing does not occur. sent17: that the dumping galoot does not occur is true if the fact that the expansion does not occur is not wrong. sent18: if the finding does not occur and the maniness does not occur the aggressiveness does not occur. sent19: the expansion does not occur if the fact that that the expansion occurs and the finding does not occur is true is false. sent20: the rust happens but the sidearmness does not occur if the presentment occurs. sent21: if the indehiscentness and the greeting kinship happens the dogmatizing does not occur.
sent18 & sent15 -> int1: the aggressiveness does not occur.; sent10 -> int2: the demotion does not occur.; int1 & int2 -> int3: the demotion does not occur and the aggressiveness does not occur.; int3 & sent1 -> int4: the indehiscentness occurs.; void -> assump1: Let's assume that the greeting kinship happens.; int4 & assump1 -> int5: the indehiscentness and the greeting kinship occurs.; int5 & sent21 -> int6: the dogmatizing does not occur.; [assump1] & int6 -> hypothesis;
the dumping take-up occurs and the greeting prate happens.
$hypothesis$ = the dogmatizing does not occur if the greeting kinship happens. ; $context$ = sent1: the indehiscentness happens if the demotion does not occur and the aggressiveness does not occur. sent2: that the dumping take-up happens and the indehiscentness happens is brought about by that the greeting kinship does not occur. sent3: not the greeting kinship but the dogmatizing occurs if the Taoistness does not occur. sent4: that the senatorialness does not occur results in that not the snowshoeing but the eosinophilicness happens. sent5: the presentment happens if the impregnating does not occur. sent6: if the rusting and the non-sidearmness happens then the senatorialness does not occur. sent7: the fact that the swimming occurs is correct if the fact that the swimming does not occur and the pyroelectricness does not occur is false. sent8: if the dumping volatile does not occur and the reversionariness occurs then the Taoistness does not occur. sent9: that the greeting prate occurs is brought about by that the demotion occurs and the aggressiveness does not occur. sent10: the demotion does not occur and the swimming does not occur. sent11: that the captainship occurs yields that the dumping volatile does not occur and the reversionariness happens. sent12: the angriness and the captainship occurs if the dumping galoot does not occur. sent13: if the swimming happens then both the demotion and the non-aggressiveness happens. sent14: the Irishness does not occur. sent15: the finding does not occur and the maniness does not occur. sent16: the fact that the swimming does not occur and the pyroelectricness does not occur is not correct if the snowshoeing does not occur. sent17: that the dumping galoot does not occur is true if the fact that the expansion does not occur is not wrong. sent18: if the finding does not occur and the maniness does not occur the aggressiveness does not occur. sent19: the expansion does not occur if the fact that that the expansion occurs and the finding does not occur is true is false. sent20: the rust happens but the sidearmness does not occur if the presentment occurs. sent21: if the indehiscentness and the greeting kinship happens the dogmatizing does not occur. ; $proof$ = 
sent18 & sent15 -> int1: the aggressiveness does not occur.; sent10 -> int2: the demotion does not occur.; int1 & int2 -> int3: the demotion does not occur and the aggressiveness does not occur.; int3 & sent1 -> int4: the indehiscentness occurs.; void -> assump1: Let's assume that the greeting kinship happens.; int4 & assump1 -> int5: the indehiscentness and the greeting kinship occurs.; int5 & sent21 -> int6: the dogmatizing does not occur.; [assump1] & int6 -> hypothesis; __PROVED__