if the inserting happens the fact that the ribbing prosthodontist happens is right.
sent1: if the recriminating does not occur the fact that the immortalizing counteroffensive does not occur or the basket occurs or both is not right. sent2: the grumbling does not occur. sent3: if the fact that the ribbing prosthodontist does not occur is not incorrect then the eligibleness does not occur. sent4: the insert does not occur if that either the modifying does not occur or the eligibleness happens or both is incorrect. sent5: the immortalizing counteroffensive does not occur if that the crooning does not occur or the ripeness occurs or both is wrong. sent6: if the chronologicalness does not occur that the miscounting does not occur and/or the acetonicness occurs does not hold. sent7: if the immortalizing floored happens that the flounce does not occur or the looting occurs or both is not true. sent8: that both the Zionist and the appellateness happens is triggered by the non-chronologicalness. sent9: the imperialness does not occur. sent10: if the rearrangement happens the fact that that either the miscount does not occur or the cooing Northerner occurs or both is correct is false. sent11: that the ribbing prohibition does not occur is right if that that the ribbing Saururaceae does not occur and/or the disbandment occurs is not right is not wrong. sent12: that the fact that either the non-unrecoverableness or the telephonicness or both occurs is false is right. sent13: that the modifying does not occur and/or the eligibleness happens does not hold if the fact that the ribbing prosthodontist occurs is true. sent14: the ripeness occurs. sent15: if that the ribbing prosthodontist does not occur and the inserting happens does not hold then the cooing captive occurs. sent16: that the ribbing prosthodontist does not occur but the inserting happens is false if the Zionistness occurs. sent17: the eligibleness does not occur.
void -> assump1: Let's assume that the inserting happens.;
the fact that the cooing captive happens is right.
$hypothesis$ = if the inserting happens the fact that the ribbing prosthodontist happens is right. ; $context$ = sent1: if the recriminating does not occur the fact that the immortalizing counteroffensive does not occur or the basket occurs or both is not right. sent2: the grumbling does not occur. sent3: if the fact that the ribbing prosthodontist does not occur is not incorrect then the eligibleness does not occur. sent4: the insert does not occur if that either the modifying does not occur or the eligibleness happens or both is incorrect. sent5: the immortalizing counteroffensive does not occur if that the crooning does not occur or the ripeness occurs or both is wrong. sent6: if the chronologicalness does not occur that the miscounting does not occur and/or the acetonicness occurs does not hold. sent7: if the immortalizing floored happens that the flounce does not occur or the looting occurs or both is not true. sent8: that both the Zionist and the appellateness happens is triggered by the non-chronologicalness. sent9: the imperialness does not occur. sent10: if the rearrangement happens the fact that that either the miscount does not occur or the cooing Northerner occurs or both is correct is false. sent11: that the ribbing prohibition does not occur is right if that that the ribbing Saururaceae does not occur and/or the disbandment occurs is not right is not wrong. sent12: that the fact that either the non-unrecoverableness or the telephonicness or both occurs is false is right. sent13: that the modifying does not occur and/or the eligibleness happens does not hold if the fact that the ribbing prosthodontist occurs is true. sent14: the ripeness occurs. sent15: if that the ribbing prosthodontist does not occur and the inserting happens does not hold then the cooing captive occurs. sent16: that the ribbing prosthodontist does not occur but the inserting happens is false if the Zionistness occurs. sent17: the eligibleness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the inserting happens.; __UNKNOWN__