the gorging jiggermast happens if the custom-made occurs.
sent1: the petting happens. sent2: the side-to-sideness happens. sent3: the gorging hemagglutination does not occur if that the adjectivalness and/or the landing peeve occurs is true. sent4: that the insert happens or the bimetallisticness happens or both leads to the non-custom-madeness. sent5: that the assembling Malvastrum occurs hold. sent6: that not the refraining bioclimatology but the judgmentalness happens is not true if the translationalness does not occur. sent7: if the inserting happens the custom-made does not occur. sent8: that the auspices does not occur is caused by that the whitingness happens. sent9: the tourism occurs. sent10: the fact that not the phase-out but the tourism happens is incorrect. sent11: that the pietisticness occurs and the refraining Leptodactylidae happens is not true. sent12: that the custom-made does not occur is prevented by that either the insert happens or the bimetallisticness happens or both. sent13: if that that the pietisticness does not occur but the refraining Leptodactylidae occurs is right is false then the metrologicalness happens. sent14: the gorging Sarpanitu occurs if the voicing occurs. sent15: that the pietisticness occurs yields the metrologicalness. sent16: the fact that the pietisticness does not occur and the refraining Leptodactylidae happens does not hold if the fact that the bimetallisticness does not occur is right. sent17: if the bimetallisticness does not occur then the fact that that both the pietisticness and the refraining Leptodactylidae happens is not wrong is not true.
void -> assump1: Let's assume that that the custom-made occurs is not incorrect.; void -> assump2: Let's assume that the bimetallisticness happens.; assump2 -> int1: the inserting and/or the bimetallisticness happens.; sent4 & int1 -> int2: the custom-madeness does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the bimetallisticness does not occur.; sent16 & int4 -> int5: the fact that both the non-pietisticness and the refraining Leptodactylidae happens is incorrect.; sent13 & int5 -> int6: the metrologicalness happens.;
$hypothesis$ = the gorging jiggermast happens if the custom-made occurs. ; $context$ = sent1: the petting happens. sent2: the side-to-sideness happens. sent3: the gorging hemagglutination does not occur if that the adjectivalness and/or the landing peeve occurs is true. sent4: that the insert happens or the bimetallisticness happens or both leads to the non-custom-madeness. sent5: that the assembling Malvastrum occurs hold. sent6: that not the refraining bioclimatology but the judgmentalness happens is not true if the translationalness does not occur. sent7: if the inserting happens the custom-made does not occur. sent8: that the auspices does not occur is caused by that the whitingness happens. sent9: the tourism occurs. sent10: the fact that not the phase-out but the tourism happens is incorrect. sent11: that the pietisticness occurs and the refraining Leptodactylidae happens is not true. sent12: that the custom-made does not occur is prevented by that either the insert happens or the bimetallisticness happens or both. sent13: if that that the pietisticness does not occur but the refraining Leptodactylidae occurs is right is false then the metrologicalness happens. sent14: the gorging Sarpanitu occurs if the voicing occurs. sent15: that the pietisticness occurs yields the metrologicalness. sent16: the fact that the pietisticness does not occur and the refraining Leptodactylidae happens does not hold if the fact that the bimetallisticness does not occur is right. sent17: if the bimetallisticness does not occur then the fact that that both the pietisticness and the refraining Leptodactylidae happens is not wrong is not true. ; $proof$ = 
void -> assump1: Let's assume that that the custom-made occurs is not incorrect.; void -> assump2: Let's assume that the bimetallisticness happens.; assump2 -> int1: the inserting and/or the bimetallisticness happens.; sent4 & int1 -> int2: the custom-madeness does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the bimetallisticness does not occur.; sent16 & int4 -> int5: the fact that both the non-pietisticness and the refraining Leptodactylidae happens is incorrect.; sent13 & int5 -> int6: the metrologicalness happens.; __UNKNOWN__