the impermanentness does not occur.
sent1: that the spectrographicness happens triggers the piousness. sent2: the impermanentness occurs if the spotting imidazole happens. sent3: the impermanentness occurs if that the captainship occurs and the spotting imidazole does not occur does not hold. sent4: the permeableness brings about that the walkabout does not occur. sent5: the rigging does not occur and the intestinalness occurs. sent6: the mending happens and/or the spectrographicness occurs. sent7: if the fetalness happens the fact that the captainship occurs and the spotting imidazole does not occur is false. sent8: the impermeableness does not occur. sent9: that the spotting Crotophaga occurs leads to that the fetalness occurs. sent10: the fact that not the spotting Crotophaga but the piousness occurs is not right if the walkabout does not occur. sent11: the vignette happens if the underquoting occurs. sent12: that both the captainship and the spotting imidazole occurs is false. sent13: the mending brings about the piousness.
sent6 & sent13 & sent1 -> int1: the piousness happens.; void -> assump1: Let's assume that that the spotting Crotophaga does not occur is not false.; int1 & assump1 -> int2: the spotting Crotophaga does not occur and the piousness occurs.; sent4 & sent8 -> int3: the walkabout does not occur.; sent10 & int3 -> int4: that that the spotting Crotophaga does not occur and the piousness occurs is right does not hold.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the spotting Crotophaga happens.; int6 & sent9 -> int7: the fetalness happens.; int7 & sent7 -> int8: that the captainship occurs but the spotting imidazole does not occur is not correct.; int8 & sent3 -> hypothesis;
$hypothesis$ = the impermanentness does not occur. ; $context$ = sent1: that the spectrographicness happens triggers the piousness. sent2: the impermanentness occurs if the spotting imidazole happens. sent3: the impermanentness occurs if that the captainship occurs and the spotting imidazole does not occur does not hold. sent4: the permeableness brings about that the walkabout does not occur. sent5: the rigging does not occur and the intestinalness occurs. sent6: the mending happens and/or the spectrographicness occurs. sent7: if the fetalness happens the fact that the captainship occurs and the spotting imidazole does not occur is false. sent8: the impermeableness does not occur. sent9: that the spotting Crotophaga occurs leads to that the fetalness occurs. sent10: the fact that not the spotting Crotophaga but the piousness occurs is not right if the walkabout does not occur. sent11: the vignette happens if the underquoting occurs. sent12: that both the captainship and the spotting imidazole occurs is false. sent13: the mending brings about the piousness. ; $proof$ = 
sent6 & sent13 & sent1 -> int1: the piousness happens.; void -> assump1: Let's assume that that the spotting Crotophaga does not occur is not false.; int1 & assump1 -> int2: the spotting Crotophaga does not occur and the piousness occurs.; sent4 & sent8 -> int3: the walkabout does not occur.; sent10 & int3 -> int4: that that the spotting Crotophaga does not occur and the piousness occurs is right does not hold.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the spotting Crotophaga happens.; int6 & sent9 -> int7: the fetalness happens.; int7 & sent7 -> int8: that the captainship occurs but the spotting imidazole does not occur is not correct.; int8 & sent3 -> hypothesis; __DISPROVED__