the cloying salmonid occurs.
sent1: the fictionalness does not occur. sent2: the Malianness does not occur if the vulpineness occurs. sent3: the fact that the approbating prophet does not occur is right. sent4: that the cloying mesocolon happens is caused by that the readjustment occurs. sent5: the bacterialness occurs. sent6: if the bacterialness happens the fact that both the approbating quartzite and the non-fictionalness occurs is not correct. sent7: that the cloying salmonid but not the approbating prophet happens is brought about by that the Malianness does not occur. sent8: the fact that the vulpineness but not the writhing occurs does not hold. sent9: that the readjustment does not occur results in that the approbating quartzite happens but the fictionalness does not occur. sent10: if that either the vulpineness does not occur or the writhing does not occur or both is not true the cloying mesocolon does not occur. sent11: if the fact that that the vulpineness does not occur and the writhing does not occur is wrong is true then the Malian does not occur. sent12: the fact that both the approbating quartzite and the fictionalness occurs does not hold if the bacterialness occurs. sent13: that the approbating prophet does not occur is triggered by that the Malian does not occur. sent14: if the perithelialness does not occur the cloying shyness occurs and the underquoting ram's-head does not occur. sent15: that the vulpineness does not occur and the writhing does not occur is not right if the cloying mesocolon happens.
void -> assump1: Let's assume that the readjustment does not occur.; sent9 & assump1 -> int1: the approbating quartzite occurs but the fictionalness does not occur.; sent6 & sent5 -> int2: that both the approbating quartzite and the non-fictionalness occurs is not right.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the readjustment happens hold.; int4 & sent4 -> int5: the cloying mesocolon occurs.; int5 & sent15 -> int6: the fact that the vulpineness does not occur and the writhing does not occur is false.; int6 & sent11 -> int7: the Malian does not occur.; int7 & sent7 -> int8: the cloying salmonid but not the approbating prophet occurs.; int8 -> hypothesis;
the cloying salmonid does not occur.
$hypothesis$ = the cloying salmonid occurs. ; $context$ = sent1: the fictionalness does not occur. sent2: the Malianness does not occur if the vulpineness occurs. sent3: the fact that the approbating prophet does not occur is right. sent4: that the cloying mesocolon happens is caused by that the readjustment occurs. sent5: the bacterialness occurs. sent6: if the bacterialness happens the fact that both the approbating quartzite and the non-fictionalness occurs is not correct. sent7: that the cloying salmonid but not the approbating prophet happens is brought about by that the Malianness does not occur. sent8: the fact that the vulpineness but not the writhing occurs does not hold. sent9: that the readjustment does not occur results in that the approbating quartzite happens but the fictionalness does not occur. sent10: if that either the vulpineness does not occur or the writhing does not occur or both is not true the cloying mesocolon does not occur. sent11: if the fact that that the vulpineness does not occur and the writhing does not occur is wrong is true then the Malian does not occur. sent12: the fact that both the approbating quartzite and the fictionalness occurs does not hold if the bacterialness occurs. sent13: that the approbating prophet does not occur is triggered by that the Malian does not occur. sent14: if the perithelialness does not occur the cloying shyness occurs and the underquoting ram's-head does not occur. sent15: that the vulpineness does not occur and the writhing does not occur is not right if the cloying mesocolon happens. ; $proof$ = 
void -> assump1: Let's assume that the readjustment does not occur.; sent9 & assump1 -> int1: the approbating quartzite occurs but the fictionalness does not occur.; sent6 & sent5 -> int2: that both the approbating quartzite and the non-fictionalness occurs is not right.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the readjustment happens hold.; int4 & sent4 -> int5: the cloying mesocolon occurs.; int5 & sent15 -> int6: the fact that the vulpineness does not occur and the writhing does not occur is false.; int6 & sent11 -> int7: the Malian does not occur.; int7 & sent7 -> int8: the cloying salmonid but not the approbating prophet occurs.; int8 -> hypothesis; __PROVED__